237 search results - page 23 / 48 » On the decidability and complexity of reasoning about only k... |
178
click to vote
ISMB
1993
15 years 7 months ago
1993
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
164
click to vote
SEFM
2006
IEEE
16 years 2 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
165
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper is about constructing confidence bands around ROC curves. We first introduce to the machine learning community three band-generating methods from the medical field, and...
266
Voted
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
183
Voted
CONCUR
2007
Springer
16 years 7 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...