3909 search results - page 398 / 782 » Extreme Model Checking |
121
Voted
PR
2000
15 years 4 months ago
2000
This paper describes an active-camera real-time system for tracking, shape description, and classi"cation of the human face and mouth expressions using only a PC or equivalen...
152
Voted
SOFTWARE
2002
15 years 4 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
141
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes a probabilistic framework to estimate the shape and position of multiple fish in a school. We model the fish shape as an ellipsoid with a curvature coefficient...
156
Voted
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
This paper addresses the problem of learning object models from egocentric video of household activities, using extremely weak supervision. For each activity sequence, we know onl...
151
click to vote
IPL
2011
14 years 8 months ago
2011
We propose a probabilistic network model, called asynchronous bounded expected delay (ABE), which requires a known bound on the expected message delay. In ABE networks all asynchr...