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