default search action
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 W. 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 M. Rocha:
Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them. - Luis M. 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 Musliu, Johannes Gärtner, Wolfgang Slany:
Efficient generation of rotating workforce schedules. - Ricardo Mansilla:
From naive to sophisticated behavior in multiagents based financial market models. - György Korniss, Mark 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: