162 search results - page 30 / 33 » Completeness Guarantees for Incomplete Reasoners |
LPAR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
DAC
2007
ACM
14 years 12 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
ASPLOS
2009
ACM
14 years 11 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
ASIACRYPT
2009
Springer
14 years 5 months ago
2009
Springer
The design of cryptographic hash functions is a very complex and failure-prone process. For this reason, this paper puts forward a completely modular and fault-tolerant approach to...
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...