Sciweavers

1291 search results - page 169 / 259
» Virtual sensing range
Sort
View
LFP
1990
171views more  LFP 1990»
15 years 1 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
ASSETS
2010
ACM
15 years 3 days ago
Leveraging proprioception to make mobile phones more accessible to users with visual impairments
Accessing the advanced functions of a mobile phone is not a trivial task for users with visual impairments. They rely on screen readers and voice commands to discover and execute ...
Frank Chun Yat Li, David Dearman, Khai N. Truong
CGF
2004
82views more  CGF 2004»
14 years 11 months ago
Scalable Behaviors for Crowd Simulation
Crowd simulation for virtual environments offers many challenges centered on the trade-offs between rich behavior, control and computational cost. In this paper we present a new a...
Mankyu Sung, Michael Gleicher, Stephen Chenney
CVPR
1998
IEEE
16 years 1 months ago
Action Recognition Using Probabilistic Parsing
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
Aaron F. Bobick, Yuri A. Ivanov
CVPR
2007
IEEE
16 years 1 months ago
Integration of Motion Cues in Optical and Sonar Videos for 3-D Positioning
Target-based positioning and 3-D target reconstruction are critical capabilities in deploying submersible platforms for a range of underwater applications, e.g., search and inspec...
Shahriar Negahdaripour, Hamed Pirsiavash, Hicham S...