6693 search results - page 1225 / 1339 » On an anytime algorithm for control |
131
Voted
POPL
2010
ACM
16 years 23 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
123
Voted
ALT
2008
Springer
16 years 10 days ago
2008
Springer
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...
128
Voted
ICCD
2001
IEEE
16 years 8 days ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
136
Voted
IUI
2010
ACM
16 years 7 days ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
116
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...