Showing 141 - 160 of 5,605

141

A local algorithm for incremental evaluation of tabled logic programs
SAHA, Diptikalyan ; RAMAKRISHNAN, C. R
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :56-71

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

A distributed wavelet-based image coding for wireless sensor networks
HUI DONG ; JIANGANG LU ; YOUXIAN SUN
Intelligent control and automation (International conference on Intelligent computing, ICIC 2006, Kunming, China, August 16-19, 2006)0ICIC 2006. :72-82

Control theory, operatio... Automatique, recherche o... Documentation Computer science Informatique Sciences exactes et tech...
Conference
Save to List
143

A distributed QoS scheduler for smoothing output traffic of input buffered switches
CHOY, Man-Ting ; LEE, Tony T
NETWORKING 2006 (networking technologies, services, protocols)Lecture notes in computer science. :256-267

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

A Linear image reconstruction framework based on sobolev type inner products
JANSSEN, Bart ; KANTERS, Frans ; DUITS, Remco ; et al.
The 5th International Conference on Scale-Space and PDE Methods in Computer VisionInternational journal of computer vision. 70(3):231-240

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

XML queries and constraints, containment and reformulation
DEUTSCH, Alin ; TANNEN, Val
Database theoryTheoretical computer science. 336(1):57-87

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

Typical case complexity of Satisfiability Algorithms and the threshold phenomenon
FRANCO, John
Typical case complexity and phase transitionsDiscrete applied mathematics. 153(1-3):89-123

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

The flow of data and the complexity of algorithms
KRISTIANSEN, Lars ; JONES, Neil D
New computational paradigms (Amsterdam, 8-12 June 2005)Lecture notes in computer science. :263-274

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

The complexity of games on highly regular graphs
DASKALAKIS, Konstantinos ; PAPADIMITRIOU, Christos H
Algorithms - ESA 2005 (13th annual European sympoisum, Palma de Mallorca, Sapin, October 3-6, 2005, proceedings)Lecture notes in computer science. :71-82

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

The complexity of XPath query evaluation and XML typing
GOTTLOB, Georg ; KOCH, Christoph ; PICHLER, Reinhard ; et al.
Journal of the Association for Computing Machinery. 52(2):284-335

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

Stable local scheduling algorithms with low complexity and without speedup for a network of input-buffered switches
BAUER, Claus
CAAN 2004 : combinatorial and algorithmic aspects of networking (Banff AB, 5-7 August 2004, revised selected papers)Lecture notes in computer science. :102-113

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

Snapshot verification
GENEST, Blaise ; KUSKE, Dietrich ; MUSCHOLL, Anca ; et al.
TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005)Lecture notes in computer science. :510-525

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

Single machine scheduling to minimize total weighted tardiness
CHENG, T. C. E ; NG, C. T ; YUAN, J. J ; et al.
Project management and schedulingEuropean journal of operational research. 165(2):423-443

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
153

Secure initialization in single-hop radio networks
KUTYLOWSKI, Mirosław ; RUTKOWSKI, Wojciech
Security in ad-hoc and sensor networks (Heidelberg, 6 August 2004, revised selected papers)Lecture notes in computer science. :31-41

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

Running time analysis of a multiobjective evolutionary algorithm on simple and hard problems
KUMAR, Rajeev ; BANERJEE, Nilanjan
FOGA 2005 : foundations of genetic algorithms (Aizu-Wakamatsu City, 5-9 January 2005, revised selected papers)Lecture notes in computer science. :112-131

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

Robust structural modeling and outlier detection with GMDH-type polynomial neural networks
AKSENOVA, Tatyana ; VOLKOVICH, Vladimir ; VILLA, Alessandro E. P
Artificial neural networks (Part II : formal models and their applications : ICANN 2005 : 15th International Conference, Warsaw, Poland, September 11-15, 2005 : proceedings)0ICANN 2005. :881-886

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

Recursive markov decision processes and recursive stochastic games
ETESSAMI, Kousha ; YANNAKAKIS, Mihalis
Automata, languages and programming (Lisbon, 11-15 July 2005)Lecture notes in computer science. :891-903

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

Rate-distortion based scheduling of video with multiple decoding paths
HUISHENG WANG ; ORTEGA, Antonio
Image and video communications and processing 2005 (San Jose CA, 18-20 January 2005)SPIE proceedings series. :560-571

Electronics Electronique Computer science Informatique Optics Optique
Conference
Save to List
158

RIDA : Robust intrusion detection in ad hoc networks
SUBHADRABANDHU, Dhanant ; SARKAR, Saswati ; ANJUM, Farooq
Networking 2005 (networking technologies, services, and protocols ; performance of computer and communication networks ; mobile and wireless communication systems)Lecture notes in computer science. :1069-1082

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

Proving equalities in a commutative ring done right in coq
GREGOIRE, Benjamin ; MAHBOUBI, Assia
TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005)Lecture notes in computer science. :98-113

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

Principles of multi-kernel data mining
MOTTL, Vadim ; KRASOTKINA, Olga ; SEREDIN, Oleg ; et al.
MLDM 2005 : machine learning and data mining in pattern recognition (Leipzig, 9-11 July 2005)Lecture notes in computer science. :52-61

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

Filter