Showing 101 - 120 of 5,605

101

The exact lattice width of planar sets and minimal arithmetical thickness
FESCHET, F
Combinatorial image analysis (11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006)0IWCIA 2006. :25-33

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

Tableau calculi for answer set programming
GEBSER, Martin ; SCHAUB, Torsten
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :11-25

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

Speeding up target-language driven part-of-speech tagger training for machine translation
SANCHEZ-MARTINEZ, Felipe ; PEREZ-ORTIZ, Juan Antonio ; FORCADA, Mikel L
MICAI 2006 (advances in artificial intelligence)Lecture notes in computer science. :844-854

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

Spatial interpolation algorithm for consecutive block error using the just -noticeable -distortion method
JEON, Su-Yeol ; SOHN, Chae-Bong ; PARK, Ho-Chong ; et al.
Advances in image and video technology (First pacific rim symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006)0PSIVT 2006. :979-987

Computer science Informatique Optics Optique Telecommunications Télécommunications
Conference
Save to List
105

Single-scanner multi-writer snapshot implementations are fast!
FATOUROU, Panagiota ; KALLIMANIS, Nikolaos D
PODC 2006 (proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing). :228-237

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

Safraless compositional synthesis
KUPFERMAN, Orna ; PITERMAN, Nir ; VARDI, Moshe Y
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :31-44

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

Recursive error correction for general Reed-Muller codes
DUMER, Ilya ; SHABUNOV, Kirill
Coding and cryptographyDiscrete applied mathematics. 154(2):253-269

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

PPPA : Push and pull pedigree analyzer for large and complex pedigree databases
MAZEIKA, Arturas ; PETERSONS, Janis ; BÖHLEN, Michael H
Advances in databases and information systems (10th East European conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006)Lecture notes in computer science. :339-352

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

Optimal phylogenetic reconstruction
DASKALAKIS, Constantinos ; MOSSEL, Elchanan ; ROCH, Sébastien
STOC'06 (Proceedings of the 38th annual ACM symposium on theory of computing). :159-168

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

On weighted structured total Least squares
MARKOVSKY, Ivan ; VAN HUFFEL, Sabine
Large-scale scientific computing (5th international conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005)0LSSC 2005. :695-702

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
111

Numerical analysis on a quantum computer
HEINRICH, Stefan
Large-scale scientific computing (5th international conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005)0LSSC 2005. :28-39

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
112

Layout aware design of mesh based NoC architectures
SRINIVASAN, Krishnan ; CHATHA, Karam S
CODES+ISSS 2006 (International Conference on Hardware/Software Codesign and System Synthesis). :136-141

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

Improved algorithm complexities for linear temporal logic model checking of pushdown systems
HRISTOVA, Katia ; LIU, Yanhong A
Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)0VMCAI 2006. :190-206

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

Implementing authorization delegations using graph
CHUN RUAN ; VARADHARAJAN, Vijay
Database and expert systems applications (17th international conference, DEXA 2006, Kraków, Poland, September 4-8, 2006)0DEXA 2006. :904-913

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

Hierarchical web structuring from the web as a graph approach with repetitive cycle proof
LEE, Wookey
Advanced Web and Network Technologies, and Applications (APWeb 2006 international workshops)Lecture notes in computer science. :1004-1011

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

H.264-based depth map sequence coding using motion information of corresponding texture video
OH, Han ; HO, Yo-Sung
Advances in image and video technology (First pacific rim symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006)0PSIVT 2006. :898-907

Computer science Informatique Optics Optique Telecommunications Télécommunications
Conference
Save to List
117

H.264 intra mode decision for reducing complexity using directional masks and neighboring modes
KIM, Jongho ; JEON, Kicheol ; JEONG, Jechang
Advances in image and video technology (First pacific rim symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006)0PSIVT 2006. :959-968

Computer science Informatique Optics Optique Telecommunications Télécommunications
Conference
Save to List
118

Fast filling operations used in the reconstruction of convex lattice sets
BRUNETTI, Sara ; DAURAT, Alain ; KUBA, Attila
Discrete geometry for computer imagery (13th International conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006)0DGCI 2006. :98-109

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

Fast computation of database operations using content-addressable memories
BANDI, Nagender ; AGRAWAL, Divyakant ; EL ABBADI, Amr
Database and expert systems applications (17th international conference, DEXA 2006, Kraków, Poland, September 4-8, 2006)0DEXA 2006. :389-398

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

Fast and generalized polynomial time memory consistency verification
ROY, Amitabha ; ZEISSET, Stephan ; FLECKENSTEIN, Charles J ; et al.
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :503-516

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

Filter