Sciweavers

1546 search results - page 182 / 310
» Context-Aware Computing with Sound
Sort
View
DSSCV
2005
Springer
15 years 12 months ago
From Stochastic Completion Fields to Tensor Voting
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
Markus van Almsick, Remco Duits, Erik Franken, Bar...
ICTAC
2005
Springer
15 years 12 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
MHCI
2005
Springer
15 years 12 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
TLCA
2005
Springer
15 years 12 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
APLAS
2004
ACM
15 years 11 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