CoRR, February 2004

• Robert Capra, Manuel A. Pérez-Quiñones:
  Mobile Re-Finding of Web Information Using a Voice Interface.
  
• Ofer Strichman:
  Deciding Disjunctive Linear Arithmetic with SAT.
  
• Jan Chomicki:
  Semantic Optimization of Preference Queries.
  
• Shujun Li, Guanrong Chen, Kwok-Wo Wong, Xuanqin Mou, Cai Yuanlong:
  Problems of Baptista's chaotic cryptosystems and countermeasures for enhancement of their overall performances.
  
• Krzysztof C. Kiwiel:
  Improved randomized selection.
  
• S. Roberto Amendolia, Michael Brady, Richard McClatchey, Miguel Mulet-Parada, Mohammed Odeh, Tony Solomonides:
  MammoGrid: Large-Scale Distributed Mammogram Analysis.
  
• Uzair Ahmad, Mohammad Waseem Hassan, Arshad Ali, Richard McClatchey, Ian Willers:
  An Integrated Approach for Extraction of Objects from XML and Transformation to Heterogeneous Object Oriented Databases.
  
• Mohammed Odeh, Tamas Hauer, Richard McClatchey, Tony Solomonides:
  A Use-Case Driven Approach in Requirements Engineering : The Mammogrid Project.
  
• Florida Estrella, Chiara Del Frate, Tamas Hauer, Richard McClatchey, Mohammed Odeh, Dmitri Rogulin, S. Roberto Amendolia, David Schottlander, Tony Solomonides, Ruth Warren:
  Resolving Clinicians Queries Across a Grids Infrastructure.
  
• Olga Shumsky Matlin, William McCune:
  Encapsulation for Practical Simplification Procedures.
  
• Shi Zhou, Raul J. Mondragón:
  Accurately modeling the Internet topology.
  
• Joseph Y. Halpern, Aleta Ricciardi:
  A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors.
  
• Pascal Hitzler:
  Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.
  
• Alessandro De Angelis, Praveen Boinee, Marco Frailis, Edoardo Milotti:
  Self-Organising Networks for Classification: developing Applications to Science Analysis for Astroparticle Physics.
  
• Ramón Asensio Monge, Francisco Sanchis Marco, Fernando Torre Cervigón, Victor Garcia Garcia, Gustavo Uria Paino:
  A Preliminary Study for the development of an Early Method for the Measurement in Function Points of a Software Product.
  
• Marco Frailis, Alessandro De Angelis, Vito Roberto:
  Perspects in astrophysical databases.
  
• Akshay Luther, Rajkumar Buyya, Rajiv Ranjan, Srikumar Venugopal:
  Alchemi: A .NET-based Grid Computing Framework and its Integration into Global Grids.
  
• Choon Hoong Ding, Sarana Nutanong, Rajkumar Buyya:
  P2P Networks for Content Sharing.
  
• Thom W. Frühwirth, Slim Abdennadher:
  The Munich Rent Advisor: A Success for Logic Programming on the Internet.
  
• Tin Kam Ho:
  Geometrical Complexity of Classification Problems.
  
• Tin Kam Ho:
  A Numerical Example on the Principles of Stochastic Discrimination.
  
• Saverio Perugini, Naren Ramakrishnan, Edward A. Fox:
  Automatically Generating Interfaces for Personalized Interaction with Digital Libraries.
  
• Florida Estrella, Richard McClatchey, Dmitri Rogulin, S. Roberto Amendolia, Tony Solomonides:
  A Service-Based Approach for Managing Mammography Data.
  
• Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff, Richard McClatchey, Tony Solomonides, Norbert Toth:
  Pattern Reification as the Basis for Description-Driven Systems.
  
• Vincent Breton, Tony Solomonides, Richard McClatchey:
  A perspective on the Healthgrid initiative.
  
• Shi Zhou, Raul J. Mondragón:
  Redundancy and Robustness of the AS-level Internet topology and its models.
  
• Weikuan Yu, Darius Buntinas, Richard L. Graham, Dhabaleswar K. Panda:
  Efficient and Scalable Barrier over Quadrics and Myrinet with a New NIC-Based Collective Message Passing Protocol.
  
• David Eppstein:
  The lattice dimension of a graph.
  
• Ketan Mane, Katy Börner:
  Mapping Topics and Topic Bursts in PNAS.
  
• Martin Pelikan, Jiri Ocenasek, Simon Trebst, Matthias Troyer, Fabien Alet:
  Computational complexity and simulation of rare events of Ising spin glasses.
  
• Martin Pelikan, Tz-Kai Lin:
  Parameter-less hierarchical BOA.
  
• Martin Pelikan, Kumara Sastry:
  Fitness inheritance in the Bayesian optimization algorithm.
  
• Fangzhen Lin, Jia-Huai You:
  Recycling Computed Answers in Rewrite Systems for Abduction.
  
• Willem L. Fouché, Petrus H. Potgieter:
  Kolmogorov complexity and symmetric relational structures.
  
• Jean-Marie Chauvet:
  Memory As A Monadic Control Construct In Problem-Solving.
  
• Pardha S. Pyla, Manuel A. Pérez-Quiñones, James D. Arthur, H. Rex Hartson:
  Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles.
  
• Petrus H. Potgieter:
  The pre-history of quantum computation.
  
• Serban E. Vlad:
  Towards a Mathematical Theory of the Delays of the Asynchronous Circuits.
  
• Serban E. Vlad:
  On the Inertia of the Asynchronous Circuits.
  
• Serban E. Vlad:
  Defining the Delays of the Asynchronous Circuits.
  
• Serban E. Vlad:
  Examples of Models of the Asynchronous Circuits.
  
• Joseph Y. Halpern, Kevin R. O'Neill:
  Anonymity and Information Hiding in Multiagent Systems.
  
• Evgueniy Vitchev:
  The UPLNC Compiler: Design and Implementation.
  
• Sándor P. Fekete, Jörg Schepers:
  A General Framework for Bounds for Higher-Dimensional Orthogonal Packing Problems.
  
• Esther M. Arkin, Michael A. Bender, Sándor P. Fekete, Joseph S. B. Mitchell, Martin Skutella:
  The Freeze-Tag Problem: How to Wake Up a Swarm of Robots.
  
• Flavio D. Garcia, Jaap-Henk Hoepman:
  Spam filter analysis.
  
• Cláudio F. Lima, Fernando G. Lobo:
  Parameter-less Optimization with the Extended Compact Genetic Algorithm and Iterated Local Search.
  
• Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Transformation Rules for Locally Stratified Constraint Logic Programs.
  
• Fernando G. Lobo, Cláudio F. Lima, Hugo Martires:
  An architecture for massive parallelization of the compact genetic algorithm.
  
• Fernando G. Lobo:
  A philosophical essay on life and its connections with genetic algorithms.
  
• Vadim Tropashko:
  Nested Intervals Tree Encoding with Continued Fractions.
  
• Andrej Dujella:
  Continued fractions and RSA with small secret exponent.
  
• Paolo Liberatore:
  The Complexity of Modified Instances.
  
• Shujun Li, Guanrong Chen, Xuanqin Mou:
  On the Security of the Yi-Tan-Siew Chaos-Based Cipher.
  
• Solomiya Buk:
  Lexical Base as a Compressed Language Model of the World (on the material of the Ukrainian language).
  
• C. M. Gonzalez, Hilda A. Larrondo, C. A. Gayoso, L. J. Arnone, Eduardo I. Boemo:
  Digital Signal Transmission with Chaotic Encryption: Design and Evaluation of a FPGA Realization.
  
• Sergio Alejandro Gómez, Carlos Iván Chesñevar:
  Integrating Defeasible Argumentation and Machine Learning Techniques.
  
• Jacques Cohen:
  A Tribute to Alain Colmerauer.
  
• Patrick Baillot, Kazushige Terui:
  Light types for polynomial time computation in lambda-calculus.
  
• Vladimir Anashin:
  Pseudorandom number generation by p-adic ergodic transformations: an addendum.
  
• Jean-Luc Falcone, Paul Albuquerque:
  A Correlation-Based Distance.
  
• P. Oscar Boykin, Vwani P. Roychowdhury:
  Personal Email Networks: An Effective Anti-Spam Tool.
  
• Noam Berger, Christian Borgs, Jennifer T. Chayes, R. M. D'Souza, Robert D. Kleinberg:
  Competition-Induced Preferential Attachment.
  
• David Wolpert:
  Information Theory - The Bridge Connecting Bounded Rational Game Theory and Statistical Physics.
  
• Andrea Baronchelli, Emanuele Caglioti, Vittorio Loreto, E. Pizzi:
  Dictionary based methods for information extraction.
  
• Carlos Gershenson:
  Updating Schemes in Random Boolean Networks: Do They Really Matter?
  
• Péter Hága, Péter Pollner, Gábor Simon, István Csabai, Gábor Vattay:
  Self-generated Self-similar Traffic.
  
• Ilya Nemenman:
  How is sensory information processed?
  
• Bob Coecke:
  The logic of entanglement.
  
• Scott Aaronson:
  Limitations of Quantum Advice and One-Way Communication.
  
• Coryn A. L. Bailer-Jones:
  Evolutionary design of photometric systems and its application to Gaia.
  
• Venkat Venkatasubramanian, Santhoji Katare, Priyan R. Patkar, Fangping Mu:
  Spontaneous Emergence of Complex Optimal Networks through Evolutionary Adaptation.
  
• Samson Abramsky, Bob Coecke:
  A categorical semantics of quantum protocols.
  
• Hartmut Klauck, Robert Spalek, Ronald de Wolf:
  Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs.
  

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