CoRR, 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.

- E. S. Sazonov, P. Klinkhachorn, R. 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.

- E. S. Sazonov, Diego Del Gobbo, P. Klinkhachorn, R. 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.

- F. Jurkovic:
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 J. 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.

- André van Tonder:
Quantum Computation, Categorical Semantics and Linear Logic.

- Harumichi Nishimura, Tomoyuki Yamakami:
An Algorithmic Argument for Query Complexity Lower Bounds of Advised Quantum Computation.

Last update Tue May 21 10:19:05 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page