default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, December 2003
- Andreas Martin Lisewski:
The concept of strong and weak virtual reality. - Paola Bruscoli, Alessio Guglielmi:
On Structuring Proof Search for First Order Linear Logic. - Edward S. Sazonov, P. Klinkhachorn, Ronald L. Klein:
Hybrid LQG-Neural Controller for Inverted Pendulum System. - Daniel Etzold:
Improving spam filtering by combining Naive Bayes with simple k-nearest neighbor searches. - Alvaro Francisco Huertas-Rosero:
A Cartography for 2x2 Symmetric Games. - Stanimire Tomov, Michael D. McGuigan, Robert Bennett, Gordon Smith, John Spiletic:
Benchmarking and Implementation of Probability-Based Simulations on Programmable Graphics Cards. - Peter Bürgisser, Felipe Cucker:
Counting complexity classes for numeric computations II: algebraic and semialgebraic sets. - Wessel Kraaij, Jian-Yun Nie, Michel Simard:
Embedding Web-based Statistical Translation Models in Cross-Language Information Retrieval. - Edward S. Sazonov, Diego Del Gobbo, P. Klinkhachorn, Ronald L. Klein:
Failure-Free Genetic Algorithm Optimization of a System Controller Using SAFE/LEARNING Controllers in Tandem. - Kate McDevitt, Manuel A. Pérez-Quiñones, Olga I. Padilla-Falto:
Designing of a Community-based Translation Center. - Giorgio Parisi:
Constraint Optimization and Statistical Mechanics. - Olga Shumsky Matlin, William McCune, Ewing L. Lusk:
Methods to Model-Check Parallel Systems Software. - (Withdrawn) Fuzziness versus probability again.
- Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Logical Characterizations of Heap Abstractions. - Patrick Baillot, Virgile Mogbil:
Soft lambda-calculus: a language for polynomial time computation. - Saverio Perugini, Mary E. Pinney, Naren Ramakrishnan, Manuel A. Pérez-Quiñones, Mary Beth Rosson:
Taking the Initiative with Extempore: Exploring Out-of-Turn Interactions with Websites. - Paul Prekop:
An Exploratory Study of Mobile Computing Use by Knowledge Workers. - Paul Ginsparg, Paul Houle, Thorsten Joachims, Jae-Hoon Sul:
Mapping Subsets of Scholarly Information. - Laura Bozzelli, Massimo Benerecetti, Adriano Peron:
Verification of recursive parallel systems. - Laurent Henocque:
Modeling Object Oriented Constraint Programs in Z. - Domenico Camarda:
ICT-based planning and the missing educational link. - Manjuka Soysa, Rajkumar Buyya, Baikunth Nath:
GridEmail: A Case for Economically Regulated Internet-based Interpersonal Communications. - Samir Genaim, Michael Codish:
Inferring Termination Conditions for Logic Programs using Backwards Analysis. - Liang Wang, Yiping Guo, Ming Fang:
Evolution: Google vs. DRIS. - Giampaolo Bella, Stefano Bistarelli
:
Soft Constraint Programming to Analysing Security Protocols. - Jan Hruza, Petr Stepánek:
Speedup of Logic Programs by Binarization and Partial Deduction. - Henk Vandecasteele, Gerda Janssens:
An Open Ended Tree. - Filippo Furfaro, Gianluigi Greco, Sergio Greco:
Minimal founded semantics for disjunctive logic programs and deductive databases. - Hudson Turner:
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints. - Jiyou Jia:
CSIEC (Computer Simulator in Educational Communication): An Intelligent Web-Based Teaching System for Foreign Language Learning. - Daniel Cabeza, Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. - Anja Remshagen, Klaus Truemper:
Learning in a Compiler for MINSAT Algorithms. - Ilya Zemskov:
Using sensors in the web crawling process. - Gonzalo Álvarez Marañón, Luis Hernández Encinas, Ángel Martín del Rey:
Sharing secret color images using cellular automata with memory. - Marcin Rogawski:
Analysis of Implementation Hierocrypt-3 algorithm (and its comparison to Camellia algorithm) using ALTERA devices. - Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What Causes a System to Satisfy a Specification? - Joseph Y. Halpern, Riccardo Pucella:
Reasoning About Expectation. - Hana Chockler, Joseph Y. Halpern:
Responsibility and blame: a structural-model approach. - Péter Gács:
Universal randomness test, over a general space. - Marcello Balduccini, Michael Gelfond:
Diagnostic reasoning with A-Prolog. - Sergio Greco, Carlo Zaniolo:
Greedy Algorithms in Datalog. - Sergio Flesca, Sergio Greco:
Declarative Semantics for Active Rules. - Laks V. S. Lakshmanan, Fereidoon Sadri:
On A Theory of Probabilistic Deductive Databases. - Rudi Cilibrasi, Paul M. B. Vitányi:
Clustering by compression. - Paolo Ferraris, Vladimir Lifschitz:
Weight Constraints as Nested Expressions. - Ernest Teniente, Toni Urpí:
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. - Juan Julián Merelo Guervós, Beatriz Prieto, Fatima Rateb, Fernando Tricas:
Mapping weblog communities. - Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. - Gianluca Argentini:
Using virtual processors for SPMD parallel programs. - Paul Piwek:
A Flexible Pragmatics-driven Language Generator for Animated Agents. - Paul Piwek, Kees van Deemter:
Towards Automated Generation of Scripted Dialogue: Some Time-Honoured Strategies. - Paul Piwek, Kees van Deemter:
Dialogue as Discourse: Controlling Global Properties of Scripted Dialogue. - V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. - Krzysztof C. Kiwiel:
Partitioning schemes for quicksort and quickselect. - Krzysztof C. Kiwiel:
Randomized selection with quintary partitions. - Christian A. Duncan, David Eppstein, Stephen G. Kobourov:
The Geometric Thickness of Low Degree Graphs. - José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models. - Oren Glickman, Ido Dagan:
Acquiring Lexical Paraphrases from a Single Corpus. - Pavel Babikov, Oleg Gontcharov, Maria Babikova:
Polyhierarchical Classifications Induced by Criteria Polyhierarchies and Taxonomy Algebra. - Virginia Savova, Leonid Peshkin:
Part-of-Speech Tagging with Minimal Lexicalization. - Satoshi Kokado, Kikuo Harigaya:
A theoretical investigation of ferromagnetic tunnel junctions with 4-valued conductances. - Alfredo Braunstein, Riccardo Zecchina:
Survey Propagation as local equilibrium equations. - Bernd Fiedler:
Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics. - Craig A. Pastro:
\Sigma\Pi-polycategories, additive linear logic, and process semantics. - Bob Coecke, Keye Martin:
Partiality in physics. - (Withdrawn) Quantum Computation, Categorical Semantics and Linear Logic.
- Harumichi Nishimura, Tomoyuki Yamakami:
An Algorithmic Argument for Query Complexity Lower Bounds of Advised Quantum Computation.
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 2024-12-31 21:48 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:
