1153 search results - page 29 / 231 » The Complexity of Revision, Revised |
BMCBI
2011
13 years 2 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
EPIA
2005
Springer
14 years 27 days ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
SBIA
2004
Springer
14 years 22 days ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
SIGCOMM
1989
ACM
13 years 11 months ago
1989
ACM
The ARPANBT routing metric wasrevised in July 1987,resulting in substantial performance improvements, especially in terms of user delay and effective network capacity. These revis...
ICCBR
2007
Springer
13 years 11 months ago
2007
Springer
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...