CoRR, February 2000

• Miroslaw Truszczynski:
  Computing large and small stable models.
  
• Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
  Uniform semantic treatment of default and autoepistemic logics.
  
• Deborah East, Miroslaw Truszczynski:
  On the accuracy and running time of GSAT.
  
• Jeremy Bryans, Howard Bowman, John Derrick:
  Stochastic Model Checking for Multimedia.
  
• Pradosh Kumar Mohapatra:
  Fully Sequential and Distributed Dynamic Algorithms for Minimum Spanning Trees.
  
• Toshinao Akuzawa, Noboru Murata:
  Multiplicative Nonholonomic/Newton -like Algorithm.
  
• Kenneth C. Litkowski:
  Requirements of Text Processing Lexicons.
  
• R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
  On Automata with Boundary.
  
• Luis Mateus Rocha:
  Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them.
  
• Luis Mateus Rocha, Johan Bollen:
  Biologically Motivated Distributed Designs for Adaptive Knowledge Management.
  
• Nicholas F. Maxemchuk, David H. Shur:
  An Internet Multicast System for the Stock Market.
  
• Ming Li, Bin Ma, Lusheng Wang:
  On The Closest String and Substring Problems.
  
• Yann Loyer, Nicolas Spyratos, Daniel Stamate:
  Computing and Comparing Semantics of Programs in Multi-valued Logics.
  
• Robert Ghrist, Daniel E. Koditschek:
  Safe cooperative robot dynamics on graphs.
  
• Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
  Genetic Algorithms for Extension Search in Default Logic.
  
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
  SLT-Resolution for the Well-Founded Semantics.
  
• Victor Kromer:
  An Usage Measure Based on Psychophysical Relations.
  
• Nysret Muslija, Johannes Gärtner, Wolfgang Slany:
  Efficient generation of rotating workforce schedules.
  
• Ricardo Mansilla:
  From naive to sophisticated behavior in multiagents based financial market models.
  
• G. Korniss, M. A. Novotny, Zoltán Toroczkai, Per Arne Rikvold:
  Non-equilibrium Surface Growth and Scalability of Parallel Algorithms for Large Asynchronous Systems.
  
• Philippe Gaucher:
  About the globular homology of higher dimensional automata.
  
• Kai Nagel, Marcus Rickert, Patrice M. Simon, Martin Pieck:
  The dynamics of iterated transportation simulations.
  
• Charles Ofria, Christoph Adami, Travis C. Collier, Grace K. Hsu:
  Evolution of differentiated expression patterns in digital organisms.
  
• Andris Ambainis:
  Quantum lower bounds by quantum arguments.
  

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