Searching for "Automatic Decidability." – sorted by Relevance.
-
Automatic Decidability
- 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
- 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
- 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
- . 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
- 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
- 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
- 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
- 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
- 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
- ) developing algorithms for automatically deciding what parts of a knowledge base are irrelevant to a query
- Cited by 17 (7 self) – Add To MetaCart

