Sciweavers

3228 search results - page 330 / 646
» Computationally Sound Proofs
Sort
View
118
Voted
ICTAC
2005
Springer
15 years 9 months ago
Finding Resource Bounds in the Presence of Explicit Deallocation
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...
Hoang Truong, Marc Bezem
121
Voted
MHCI
2005
Springer
15 years 9 months ago
A support system for finding lost objects using spotlight
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...
Toyohisa Nakada, Hideaki Kanai, Susumu Kunifuji
APLAS
2004
ACM
15 years 9 months ago
PType System: A Featherweight Parallelizability Detector
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...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
129
Voted
KR
2004
Springer
15 years 9 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
CVPR
2003
IEEE
15 years 9 months ago
Bayesian Human Segmentation in Crowded Situations
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...
Tao Zhao, Ramakant Nevatia