5863 search results - page 871 / 1173 » On Model-Checking of P Systems |
177
click to vote
AAAI
1993
15 years 8 months ago
1993
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
175
click to vote
AAAI
1994
15 years 8 months ago
1994
Many real-life Constraint Satisfaction Problems (CSPs) involve some constraints similar to the alldifferent constraints. These constraints are called constraints of difference. Th...
174
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper presents a precise market model for a well-defined class of distributed configuration design problems. Given a design problem, the model defines a computational economy...
197
click to vote
NAACL
1994
15 years 8 months ago
1994
The Penn Treebank has recently implemented a new syntactic annotation scheme, designed to highlight aspects of predicate-argument structure. This paper discusses the implementatio...
174
click to vote
SODA
1994
ACM
15 years 8 months ago
1994
ACM
Response time delays caused by I/O are a major problem in many systems and database applications. Prefetching and cache replacement methods are attracting renewed attention because...