696 search results - page 87 / 140 » Explaining abstract counterexamples |
124
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
107
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
140
click to vote
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...
97
Voted
DCC
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract: We propose a hyperspectral image compressor called BH which considers its input image as being partitioned into square blocks, each lying entirely within a particular ban...
123
click to vote
MICCAI
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...