5086 search results - page 860 / 1018 » The Power of Comparative Reasoning |
179
click to vote
ICLP
2005
Springer
16 years 15 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
210
Voted
FLOPS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
195
click to vote
IFM
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
217
Voted
INEX
2004
Springer
16 years 10 days ago
2004
Springer
The INEX query languages allow the extraction of fragments from selected documents. This power is not much used in INEX queries. The paper suggests reasons why, and considers which...
218
click to vote
CCGRID
2003
IEEE
16 years 8 days ago
2003
IEEE
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...