MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automatic Decidability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

387 documents found, showing 1 through 10. Next 10 →

ATOM

Automatic Decidability
by Christopher Lynch, Barbara Morawska — 2002 — In Proc. LICS-17
…Automatic Decidability Christopher Lynch and Barbara Morawska Department of Mathematics…
Cited by 4 (0 self) – Add To MetaCart

Constructing SCI-configurations that are free from deadlocks
by Olav Lysne, Stein Gjessing — 1996
… that it is possible to automatically decide whether an SCI-configuration is prone to deadlocks, and we indicate…
Add To MetaCart

Why does my service have no partners
by Niels Lohmann — Services and Formal Methods, Fifth International Workshop, WS-FM 2008
… can be automatically decided, the existing decision algorithm gives no information about the reasons…
Cited by 2 (1 self) – Add To MetaCart

DL-SR, a Lite DL Extended with Expressive Rules: Preliminary Results
by Jean-françois Baget, Michel Leclère, Marie-laure Mugnier, Éric Salvat
…. Then we show that, our algorithms can automatically decide in some cases whether a given DL has the FOL…
Add To MetaCart

Automatic Distribution of Java Byte-Code Based on Dependence Analysis
by Roxana E. Diaconescu, Lei Wang, Michael Franz
… distributed system. Ideally, a system can automatically decide where to place parts of a program to satisfy…
Cited by 1 (0 self) – Add To MetaCart

Postponing threats in partial-order planning
by David E. Smith — 1993 — In Proceedings of the Eleventh National Conference on Artificial Intelligence
… actions and causal links in a plan. We present a technique for automatically deciding which threats should…
Cited by 45 (2 self) – Add To MetaCart

An Architecture for Constructing Self-Evolving Software Systems
by Chrysanthos Dellarocas, Mark Klein, Howard Shrobe — 1998 — In Proc. of the Third Int. Soft. Arch. Workshop
… and automatically decides when and how to evolve it. The evolution engine relies on models of the current…
Cited by 6 (0 self) – Add To MetaCart

An Architecture for Constructing Self-Evolving Software Systems
by Chrysanthos Dellarocas Center, Chrysanthos Dellarocas, Mark Klein, Howard Shrobe — 1998 — In Proc. of the Third Int. Soft. Arch. Workshop
… alongside a running application, oversees its execution and automatically decides when and how to evolve it…
Add To MetaCart

Discovery of Subroutines in Genetic Programming
by Justinian P. Rosca, Dana H. Ballard — 1996
… HGP techniques do not make informed choices to automatically decide when creation or modification…
Cited by 46 (6 self) – Add To MetaCart

Irrelevance Reasoning In Knowledge Based Systems
by Alon Yitzchak Levy, Richard E. Fikes, Edward A. Feigenbaum, Patrick J. Hayes, Nils J. Nilsson, Yehoshua C. Sagiv — 1993
…) developing algorithms for automatically deciding what parts of a knowledge base are irrelevant to a query…
Cited by 17 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB