Showing 121 - 140 of 5,605

121

Entropy as a fixed point
MARTIN, Keye
Automata, languages and programming: logic and semantics (ICALP-B 2004)Theoretical computer science. 350(2-3):292-324

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
122

Enhancing last-level cache performance by block bypassing and early miss determination
DYBDAHL, Haakon ; STENSTRÖM, Per
Advances in computer systems architecture (11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006)Lecture notes in computer science. :52-66

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
123

Efficient type inference for secure information flow
HRISTOVA, Katia ; ROTHAMEL, Tom ; LIU, Yanhong A ; et al.
PLAS 2006 (proceedings of the 2006 Programming Languages and Analysis for Security Workshop). :85-94

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
124

Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure
WIGGERS, Maarten ; BEKOOII, Marco ; JANSEN, Pierre ; et al.
CODES+ISSS 2006 (International Conference on Hardware/Software Codesign and System Synthesis). :10-15

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
125

Efficient algorithms for k maximum sums
BENGTSSON, Fredrik ; JINGSEN CHEN
Annual International Symposium on Algorithms and ComputationAlgorithmica. 46(1):27-41

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
126

Dynamic isoline extraction for visualization of streaming data
GOLDIN, Dina ; HUAYAN GAO
Computer science (theory and applications)0CSR 2006. :415-426

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
127

Distance approximating trees : Complexity and algorithms
DRAGAN, Feodor F ; CHENYU YAN
Algorithms and complexity (6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006)0CIAC 2006. :260-271

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
128

Covering a set of points with a minimum number of lines
GRANTSON, Magdalene ; LEVCOPOULOS, Christos
Algorithms and complexity (6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006)0CIAC 2006. :6-17

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
129

Coverage metrics for formal verification : Recent advances in hardware verification
CHOCKLER, Hana ; KUPFERMAN, Orna ; VARDI, Moshe
International journal on software tools for technology transfer (Print). 8(4-5):373-386

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
130

Conjunctive queries over trees
GOTTLOB, Georg ; KOCH, Christoph ; SCHULZ, Klaus U
PODS 2004: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Paris, France - June 14-16, 2004Journal of the Association for Computing Machinery. 53(2):238-272

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
131

Complexity parameters for first order classes
ARIAS, Marta ; KHARDON, Roni
Machine learning. 64(1-3):121-144

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
132

Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics
LOPATENKO, Andrei ; BERTOSSI, Leopoldo
Database theory (ICDT 2007)0ICDT 2007. :179-193

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
133

Branching bisimulation for probabilistic systems : Characteristics and decidability
ANDOVA, Suzana ; WILLEMSE, Tim A. C
Expressiveness in concurrencyTheoretical computer science. 356(3):325-355

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
134

Approximate unions of lines and minkowski sums
VAN KREVELD, Marc ; VAN DER STAPPEN, A. Frank
Twelfth Annual European Symposium on AlgorithmsAlgorithmica. 45(1):91-107

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
135

An extraction technique of optimal interest points for shape-based image classification
URN, Kyhyun ; JO, Seongtaek ; CHO, Kyungeun
Multimedia content representation, classification and security (International Workshop, MRCS 2006, Istanbul, Turkey, September 11-13, 2006)0MRCS 2006. :505-513

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
136

Algorithms for clique-independent sets on subclasses of circular-arc graphs
DURAN, Guillermo ; MIN CHIH LIN ; MERA, Sergio ; et al.
Traces of the Latin American conference on combinatorics, graphs and applications: a selection of papers from LACGA 2004Discrete applied mathematics. 154(13):1783-1790

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
137

Algorithmic and complexity results for decompositions of biological networks into monotone subsystems
DASGUPTA, Bhaskar ; ENCISO, German A ; SONTAG, Eduardo ; et al.
Experimental algorithms (5th international workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006)Lecture notes in computer science. :253-264

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
138

Accurate and efficient runtime detection of atomicity errors in concurrent programs
LIQIANG WANG ; STOLLER, Scott D
Proceedings of the 2006 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '06). :137-146

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
139

A polynomial algorithm for 2-cyclic robotic scheduling
KATS, Vladimir ; LEVNER, Eugene
MICAI 2006 (advances in artificial intelligence)Lecture notes in computer science. :439-449

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
140

A low cost and effective link protection approach for enhanced survivability in optical transport networks
PALMIERI, Francesco ; FIORE, Ugo
Frontiers of high performance computing and networking (ISPA 2006 workshops)0ISPA 2006. :368-376

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List

Filter