18090 search results - page 778 / 3618 » Computing by Only Observing |
201
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
194
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...
203
click to vote
EGICE
2006
15 years 11 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...
205
click to vote
HHCI
2000
15 years 11 months ago
2000
This paper describes a benchmark task for evaluating the usability of haptic environments for a shape perception task. The task measures the ease with which observers can recogniz...
187
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...