CoRR, December 2003

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