425 search results - page 81 / 85 » Automated Synthesis of Multitolerance |
108
click to vote
RSS
2007
15 years 3 months ago
2007
— We develop a systematic approach to incorporating uncertainty into planning manipulation tasks with frictional contacts. We consider the canonical problem of assembling a peg i...
114
click to vote
VLSISP
2008
15 years 1 months ago
2008
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
105
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
97
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
105
click to vote
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...