default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, April 2004
- Garrison W. Greenwood:
On the Practicality of Intrinsic Reconfiguration As a Fault Recovery Method in Analog Systems. - Kristina Lerman, Aram Galstyan, Tad Hogg:
Mathematical Analysis of Multi-Agent Systems. - Elisa Bertino, Barbara Catania, Roberta Gori:
Enhancing the expressive power of the U-Datalog language. - Liam Wagner:
Dealing With Curious Players in Secure Networks. - Maximillian Dornseif:
Government mandated blocking of foreign Web content. - Chung-chieh Shan:
Delimited continuations in natural language: quantification and polarity sensitivity. - Chung-chieh Shan:
Polarity sensitivity and evaluation order in type-logical grammar. - Jean-Guillaume Dumas:
Efficient dot product over word-size finite fields. - Mark-Jan Nederhof, Giorgio Satta:
Tabular Parsing. - Anton B. Teslyuk, Serge A. Krashakov, Lev N. Shchur:
On the universality of rank distributions of website popularity. - Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro:
Parametric external predicates for the DLV System. - Francesco Calimeri, Nicola Leone:
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report). - Kevin Lai, Bernardo A. Huberman, Leslie R. Fine:
Tycoon: A Distributed Market-based Resource Allocation System. - Timm M. Steinbeck:
A Modular and Fault-Tolerant Data Transport Framework. - Ahmet A. Husainov:
The study of distributed computing algorithms by multithread applications. - T. W. Tang, Andrew Allison, Derek Abbott:
Parrondo's games with chaotic switching. - Matthew J. Berryman, Wei-Li Khoo, Hiep Nguyen, Erin O'Neill, Andrew Allison, Derek Abbott:
Exploring tradeoffs in pleiotropy and redundancy using evolutionary computing. - Jiyou Jia:
NLML - a Markup Language to Describe the Unlimited English Grammar. - Matthew J. Berryman, Andrew Allison, Derek Abbott:
Optimizing genetic algorithm strategies for evolving networks. - Gopalan Nadathur:
A treatment of higher-order features in logic programming. - Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel:
Computational Universality in Symbolic Dynamical Systems. - Artur Rataj:
An Algorithm for Transforming Color Images into Tactile Graphics. - Giorgi Japaridze:
Propositional computability logic I. - Giorgi Japaridze:
Computability Logic: a formal theory of interaction. - Atsushi Fujii, Makoto Iwayama, Noriko Kando:
Test Collections for Patent-to-Patent Retrieval and Patent Map Generation in NTCIR-4 Workshop. - Darran Nathan, Eva Rosdiana, Chua Beng Koon:
DAB Content Annotation and Receiver Hardware Control with XML. - Rajkumar Buyya, Srikumar Venugopal:
The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report. - Saju Jude Dominic, G. Sajith:
The Random Buffer Tree : A Randomized Technique for I/O-efficient Algorithms. - Amitabha Bagchi, Ankur Bhargava, Amitabh Chaudhary, David Eppstein, Christian Scheideler:
The Effect of Faults on Network Expansion. - Andreas de Vries:
XML framework for concept description and knowledge representation. - David R. Wood:
Characterisations of Intersection Graphs by Vertex Orderings. - David J. Finton:
When Do Differences Matter? On-Line Feature Extraction Through Cognitive Economy. - Saju Jude Dominic, G. Sajith:
The Persistent Buffer Tree : An I/O-efficient Index for Temporal Data. - Maarten H. van Emden, Belaid Moa:
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems. - Andreas Mielke:
Elements for Response Time Statistics in ERP Transaction Systems. - Sándor P. Fekete, Rolf Klein, Andreas Nüchter:
Online Searching with an Autonomous Robot. - Gaoyan Xie, Zhe Dang:
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components. - D. B. Powell:
2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem. - Alexei Kaltchenko:
Algorithms for Estimating Information Distance with Application to Bioinformatics and Linguistics. - Nicolas Christin
, Jens Grossklags, John Chuang:
Near Rationality and Competitive Equilibria in Networked Systems. - Jiyou Jia:
NLOMJ - Natural Language Object Modal in Java. - W. Ali, Raul J. Mondragón, F. Alavi:
Extraction of topological features from communication network topological patterns using self-organizing feature maps. - Neil J. Gunther:
Benchmarking Blunders and Things That Go Bump in the Night. - Xiaoyang Gu:
A note on dimensions of polynomial size circuits. - Bayle Shanks:
Speculation on graph computation architectures and computing via synchronization. - Sanjay Rana, Michael Batty:
Visualising the structure of architectural open spaces based on shape analysis. - Gianluca Argentini:
Using matrices in post-processing phase of CFD simulations. - Roberto Giacobazzi, Francesco Ranzato:
Incompleteness of States w.r.t. Traces in Model Checking. - Stergos D. Afantenos, Irene Doura, Eleni Kapellou, Vangelis Karkaletsis:
Exploiting Cross-Document Relations for Multi-document Evolving Summarization. - Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types. - Jorge Lobo, Gisela Mendez, Stuart R. Taylor:
Knowledge And The Action Description Language A. - Keith L. Clark, Peter J. Robinson, Richard Hagen:
Multi-Threading And Message Communication In Qu-Prolog. - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula. - Matthias Bauer:
New Covert Channels in HTTP. - Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version. - Benoît Valiron:
Quantum typing. - Jan Poland, Marcus Hutter:
Convergence of Discrete MDL for Sequential Prediction. - Adam Lipowski, Dorota Lipowska:
Travelling Salesman Problem with a Center. - David Garber, Shmuel Kaplan, Mina Teicher, Boaz Tsaban, Uzi Vishne:
Probabilistic Solutions of Equations in the Braid Group. - Carlos Gershenson, Francis Heylighen:
Protocol Requirements for Self-organizing Artifacts: Towards an Ambient Intelligence. - David H. Wolpert:
Metrics for more than two points at once. - Sergey N. Dorogovtsev, J. F. F. Mendes:
The shortest path to complex networks.
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-28 21:54 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:
