1426 search results - page 110 / 286 » Specification of nonmonotonic reasoning |
161
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
182
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
182
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
134
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
182
click to vote
ICAI
2007
15 years 7 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...