Sciweavers

2016 search results - page 68 / 404
» Some observations on HC-128
Sort
View
ICIP
2010
IEEE
13 years 8 months ago
People identification using shadow dynamics
People identification has numerous applications, ranging from surveillance/security to robotics. Face and body movement/gait biometrics are the most important tools for this task....
Yumi Iwashita, Adrian Stoica, Ryo Kurazume
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
14 years 2 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys
RSCTC
1993
Springer
96views Fuzzy Logic» more  RSCTC 1993»
14 years 2 months ago
Trusting an Information Agent
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
Hasan M. Jamil, Fereidoon Sadri
PODC
2010
ACM
14 years 1 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
CRV
2004
IEEE
226views Robotics» more  CRV 2004»
14 years 1 months ago
Inter-Image Statistics for Scene Reconstruction
We present an approach for inferring complete depth maps from intensity images and sparse depth information. This paper developed prior work which incrementally completes a sparse...
Luz Abril Torres-Méndez, Gregory Dudek, Pau...