5550 search results - page 917 / 1110 » Different Approaches to Proof Systems |
195
click to vote
JCP
2007
15 years 6 months ago
2007
—Embedded systems normally involve a combination of hardware and software resources designed to perform dedicated tasks. Such systems have widely crept into industrial control, a...
200
click to vote
AROBOTS
2002
15 years 6 months ago
2002
The complexity of the kinematic and dynamic structure of humanoid robots make conventional analytical approaches to control increasingly unsuitable for such systems. Learning techn...
182
click to vote
FAST
2009
15 years 4 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...
301
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...
209
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...