3228 search results - page 330 / 646 » Computationally Sound Proofs |
118
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
121
Voted
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
We propose a support system for finding lost objects indoors. The system employs active RFID and ultrasonic position detection to detect the position of a lost object. The system...
120
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
129
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
154
click to vote
CVPR
2003
IEEE
15 years 9 months ago
2003
IEEE
Problem of segmenting individual humans in crowded situations from stationary video camera sequences is exacerbated by object inter-occlusion. We pose this problem as a “model-b...