default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2003
- Allison Woodruff, Paul M. Aoki:
Media Affordances of a Mobile Push-To-Talk Communication Service. - Ricardo Galli:
El informe NERA analizado. - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. - Bruce Long:
The Structure of Information. - Aleksandar Stojmirovic, Vladimir Pestov:
Indexing Schemes for Similarity Search In Datasets of Short Protein Fragments. - Rajgopal Kannan:
The KR-Benes Network: A (almost) Control-Optimal Rearrangeable Permutation Network. - Petro M. Gopych:
ROC Curves Within the Framework of Neural Network Assembly Memory Model: Some Analytic Results. - Eli Appleboim, Emil Saucan:
Digital Version of Green's Theorem and its Application to The Coverage Problem in Formal Verification. - Victor Eliashberg:
What Is Working Memory and Mental Imagery? A Robot that Learns to Perform Mental Computations. - Dima Grigoriev, Ilia N. Ponomarenko:
Homomorphic public-key cryptosystems over groups and rings. - Ágúst S. Egilsson, Hakon Gudbjartsson:
Indexing of Tables Referencing Complex Structures. - Chien-Feng Huang, Luis M. Rocha:
Exploration of RNA Editing and Design of Robust Genetic Algorithms. - Luis M. Rocha:
Semi-metric Behavior in Document Networks and its Application to Recommendation Systems. - Esther M. Arkin, Michael A. Bender, Erik D. Demaine, Sándor P. Fekete, Joseph S. B. Mitchell, Saurabh Sethia:
Optimal Covering Tours with Turn Costs. - Dominik Janzing, Daniel Herrmann:
Reliable and Efficient Inference of Bayesian Networks from Sparse Data by Statistical Learning Theory. - Stuart McDonald, Liam Wagner:
Using Simulated Annealing to Calculate the Trembles of Trembling Hand Perfection. - David Renault:
Enumerating planar locally finite Cayley graphs. - Maarten H. van Emden, Belaid Moa:
Using Propagation for Solving Complex Arithmetic Constraints. - Atsushi Fujii, Katunobu Itou:
Building a Test Collection for Speech-Driven Web Retrieval. - Stephan Mertens, Marc Mézard, Riccardo Zecchina:
Threshold values of Random K-SAT from the cavity method. - Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tetsuya Ishikawa:
A Cross-media Retrieval System for Lecture Videos. - Christian Thiemann, Michael Schlenker, Thomas Severiens:
Proposed Specification of a Distributed XML-Query Network. - Vladimir Batagelj:
Efficient Algorithms for Citation Network Analysis. - Annabelle McIver, Carroll Morgan:
Results on the quantitative mu-calculus qMu. - Johan Schubert:
Evidential Force Aggregation. - Mark C. Little:
A thought experiment on Quantum Mechanics and Distributed Failure Detection. - Michiel Ronsse, Koen De Bosschere:
Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG 2003, Ghent, Belgium, September 8-10, 2003. - Frédéric Mesnard, Roberto Bagnara:
cTI: A constraint-based termination inference tool for ISO-Prolog. - Jonas Maebe, Koen De Bosschere:
Instrumenting self-modifying code. - Wolfgang Mayer, Markus Stumptner:
Model-Based Debugging using Multiple Abstract Models. - Kazutaka Maruyama, Minoru Terada:
Timestamp Based Execution Control for C and Java Programs. - Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
Towards declarative diagnosis of constraint programs over finite domains. - Pranab Sen, Srinivasan Venkatesh:
Lower bounds for predecessor searching in the cell probe model. - Peter D. Turney, Michael L. Littman:
Measuring Praise and Criticism: Inference of Semantic Orientation from Association. - Peter D. Turney, Michael L. Littman, Jeffrey Bigham, Victor Shnayder:
Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems. - Petro M. Gopych:
A Neural Network Assembly Memory Model Based on an Optimal Binary Signal Detection Theory. - Bryan Cantrill:
Postmortem Object Type Identification. - Valmir Carneiro Barbosa, Luciana C. D. Campos:
A novel evolutionary formulation of the maximum independent set problem. - Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento:
Two novel evolutionary formulations of the graph coloring problem. - Lucia Draque Penso, Valmir Carneiro Barbosa:
A distributed algorithm to find k-dominating sets. - Konstantin A. Rybnikov:
Fast Verification of Convexity of Piecewise-linear Surfaces. - Lúcia M. A. Drummond, Valmir Carneiro Barbosa:
On reducing the complexity of matrix clocks. - Alexandre H. L. Porto, Valmir Carneiro Barbosa:
Finding approximate palindromes in strings. - Valmir Carneiro Barbosa:
The combinatorics of resource sharing. - Agostino Dovier, Carla Piazza, Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. - K. Vezerides, Athanasios Kehagias:
The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences. - Andreas Zeller:
Causes and Effects in Computer Programs. - Jürgen Schmidhuber:
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements. - João Lourenço, José C. Cunha, Vitor Moreira:
Control and Debugging of Distributed Programs Using Fiddle. - W. A. Zuniga-Galindo:
Computing Igusa's Local Zeta Functions of Univariate Polynomials, and Linear Feedback Shift Registers. - Oded Regev:
New Lattice Based Cryptographic Constructions. - Boris Alexeev:
Minimal DFAs for Testing Divisibility. - David A. Plaisted:
A Hierarchical Situation Calculus. - Katerina J. Argyraki, David R. Cheriton:
Active Internet Traffic Filtering: Real-time Response to Denial of Service Attacks. - Tsuyoshi Ohta, Tadanori Mizuno:
A mathematical framework for automated bug localization. - Shmuel Onn, Uriel G. Rothblum:
Convex Combinatorial Optimization. - Shmuel Onn:
Nowhere-Zero Flow Polynomials. - Paolo Laureti, Peter Ruch, Joseph R. Wakeling, Yi-Cheng Zhang:
The Interactive Minority Game: a Web-based investigation of human market interactions. - Carlos Gershenson:
Self-organizing Traffic Control: First Results. - Jae Weon Lee, Alexei Chepelianskii, Dima Shepelyansky:
Treatment of sound on quantum computers. - Pierfrancesco La Mura:
Correlated Equilibria of Classical Strategic Games with Quantum Signals. - Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf:
Robust Quantum Algorithms and Polynomials. - Bradley W. Jackson, Jeffrey D. Scargle, David Barnes, Sundararajan Arabhi, Alina Alt, Peter Gioumousis, Elyus Gwin, Paungkaew Sangtrakulcharoen, Linda Tan, Tun Tao Tsai:
An Algorithm for Optimal Partitioning of Data on an Interval.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
