5695 search results - page 1000 / 1139 » Using Many Cameras as One |
128
click to vote
CSUR
2000
15 years 4 months ago
2000
to extract information at a level of abstraction that is useful to investigators interested in analyzing application usage or evaluating usability. This survey examines computer-ai...
138
click to vote
ENTCS
2000
15 years 4 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
136
Voted
RAS
2000
15 years 4 months ago
2000
Cerebellar models have long been advocated as viable models for robot dynamics control. Building on an increasing insight in and knowledge of the biological cerebellum, many model...
153
click to vote
SIAMCO
2002
15 years 4 months ago
2002
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
149
click to vote
SIAMCOMP
2002
15 years 4 months ago
2002
We consider the problem of maintaining aggregates and statistics over data streams, with respect to the last N data elements seen so far. We refer to this model as the sliding wind...