2496 search results - page 336 / 500 » On covering by translates of a set |
173
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
160
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
Previous work has demonstrated the viability of applying offline analysis to interpret forearm electromyography (EMG) and classify finger gestures on a physical surface. We extend...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
159
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The deletion–contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomi...
168
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...