Showing 201 - 220 of 5,605

201

Extraction and removal of layers from map imagery data
PODLASOV, Alexey ; AGEENKO, Eugene
Image analysis (Joensuu, 19-22 June 2005)Lecture notes in computer science. :1107-1116

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

Experimental evaluation of classical automata constructions
TABAKOV, Deian ; VARDI, Moshe Y
Logic for programming, artificial intelligence, and reasoning (12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005)0LPAR 2005. :396-411

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

Exchange market equilibria with Leontief's utility : Freedom of pricing leads to rationality
YINYU YE
Internet and network economics (First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005)0WINE 2005. :14-23

Management economics Gestion, économie, manag... Computer science Informatique Telecommunications Télécommunications
Conference
Save to List
204

Evolutionary games : An algorithmic view
KONTOGIANNIS, Spyros ; SPIRAKIS, Paul
Self-star properties in complex information systems (conceptual and practical foundations)Lecture notes in computer science. :97-111

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

Euclidean Voronoi diagrams of 3D spheres : Their construction and related problems from biochemistry
KIM, Deok-Soo ; KIM, Donguk ; CHO, Youngsong
Mathematics of surfaces XI (Loughborough, 5-7 September 2005)Lecture notes in computer science. :255-271

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

Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
ATTIE, Paul C ; CHOCKLER, Hana
VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Lecture notes in computer science. :465-481

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

Efficient mapping of the H.264 encoding algorithm onto Multiprocessor DSPs
GULATI, Amit ; CAMPBELL, George
Embedded processors for multimedia and communications II (San Jose CA, 17-18 January 2005)SPIE proceedings series. :94-103

Electronics Electronique Optics Optique Physics Physique
Conference
Save to List
208

Efficient algorithms for the electric power transaction problem
KIYOMI, Masashi ; UNO, Takeaki ; MATSUI, Tomomi
Internet and network economics (First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005)0WINE 2005. :602-611

Management economics Gestion, économie, manag... Computer science Informatique Telecommunications Télécommunications
Conference
Save to List
209

Dynamic packet scheduling based on utility optimization in OFDM networks
KUNQI GUO ; SHILOU JIA ; LIXIN SUN
Networking and mobile computing (Zhangjiajie, 2-4 August 2005)Lecture notes in computer science. :74-83

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

Dynamic key-frame extraction for video summarization
CIOCCA, Gianluigi ; SCHETTINI, Raimondo
Internet imaging (San Jose CA, 18-20 January 2005)SPIE proceedings series. :137-142

Electronics Electronique Optics Optique Physics Physique
Conference
Save to List
211

Distributed state space minimization
BLOM, Stefan ; ORZAN, Simona
Special section on formal methods for industrial critical systemsInternational journal on software tools for technology transfer (Print). 7(3):280-291

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

Distributed clustering algorithm for finding virtual backbone in ad hoc networks
PAUL, B ; RAO, S. V
Distributed computing and internet technology (Second international conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005)0ICDCIT 2005. :50-55

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

Diagnosability of semiconductor manufacturing equipment
WEN, Y. L ; JENG, M. D ; HUANG, Y. S
Progress on advanced manufacture for micro/nano technology 2005 (proceedings of the 2005 International conference on advanced manufacture)0ICAM2005. :1135-1140

Chemistry Chimie Mechanical engineering Génie mécanique Chemical industry parach... Industrie chimique et pa...
Conference
Save to List
214

DiST : A scalable, efficient P2P lookup protocol
KRISHNAMOORTHY, Savitha ; VAIDYANATHAN, Karthikeyan ; LAURIA, Mario
Agents and peer-to-peer computing (Third international workshop, AP2PC 2004, New York NY, USA, July 19, 2004)0AP2PC 2004. :40-53

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

Design of optimal power distribution networks using multiobjective genetic algorithm
HADI, Alireza ; RASHIDI, Farzan
KI 2005 : advances in artificial intelligence (Koblenz, 11-14 September 2005)Lecture notes in computer science. :203-215

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

Density-based view materialization
DAS, A ; BHATTACHARYYA, D. K
Pattern recognition and machine intelligence (First international conference, PReMI 2005, Kolkata, India, December 20-22, 2005)0PReMI 2005. :589-594

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

Cyclic sequence comparison using dynamic warping
ARICA, Nafiz
Image and video retrieval (Singapore, 20-22 July 2005)Lecture notes in computer science. :328-335

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

Cryptanalysis of a particular case of Klimov-Shamir pseudo-random generator
BENONY, Vincent ; RECHER, Francois ; WEGRZYNOWSKI, Eric ; et al.
SETA 2004 : sequences and their applications (Seoul, 24-28 October 2004, revised selected papers)Lecture notes in computer science. :313-322

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

Counting distinct items over update streams
GANGULY, Sumit
Algorithms and computation (16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005)0ISAAC 2005. :505-514

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

Computing the Betti numbers of arrangements in practice
BASU, Saugata ; KETTNER, Michael
CASC 2005 : computer algebra in scientific computing (Kalamata, 12-16 September 2005)Lecture notes in computer science. :13-31

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

Filter