Sciweavers

112 search results - page 4 / 23
» Components of the Fundamental Category II
Sort
View
KBSE
2000
IEEE
15 years 3 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
80
Voted
PAMI
1998
76views more  PAMI 1998»
14 years 11 months ago
Segmenting Images Corrupted by Correlated Noise
—Image segmentation is fundamental to many image analysis problems. It aims to partition a digital image into a set of nonoverlapping homogeneous regions. The main contribution o...
Thomas C. M. Lee
ICB
2007
Springer
161views Biometrics» more  ICB 2007»
15 years 3 months ago
Latent Identity Variables: Biometric Matching Without Explicit Identity Estimation
Abstract. We present a new approach to biometrics that makes probabilistic inferences about matching without ever estimating an identity "template". The biometric data is...
Simon J. D. Prince, Jania Aghajanian, Umar Mohamme...
CHI
2004
ACM
16 years 3 days ago
ICARE: a component-based approach for the design and development of multimodal interfaces
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
Jullien Bouchet, Laurence Nigay
GIS
2005
ACM
16 years 24 days ago
Close pair queries in moving object databases
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
Panfeng Zhou, Donghui Zhang, Betty Salzberg, Gene ...