8933 search results - page 128 / 1787 » Usability over time |
163
click to vote
CORR
2011
Springer
15 years 16 days ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...
176
Voted
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Lately there exist increasing demands for online abnormality monitoring over trajectory streams, which are obtained from moving object tracking devices. This problem is challengin...
168
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
156
click to vote
STACS
2010
Springer
16 years 16 days ago
2010
Springer
The past decade has witnessed many interesting algorithms for maintaining statistics over a data stream. This paper initiates a theoretical study of algorithms for monitoring distr...
115
click to vote
ICRA
2009
IEEE
16 years 6 days ago
2009
IEEE
— We present a method for controlling the forward speed and the apex height of a one-legged hopping robot over rough terrain, using a single actuator located at the robot hip. Th...