10707 search results - page 1977 / 2142 » Designing executable abstractions |
210
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Vision-based control of a robot formation is challenging because the on-board sensor (camera) only provides the view-angle to the other moving robots, but not the distan...
166
click to vote
IFIPTM
2009
15 years 4 months ago
2009
Abstract. Information is essential to decision making. Nowadays, decision makers are often overwhelmed with large volumes of information, some of which may be inaccurate, incorrect...
281
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graph cuts has emerged as a preferred method to solve a class of energy minimization problems in computer vision. It has been shown that graph cut algorithms designed kee...
257
click to vote
ECEASST
2010
15 years 4 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
271
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. The central question in mechanism design is how to implement a given social choice function. One of the most studied concepts is that of truthful implementations in which...