4066 search results - page 553 / 814 » Almost Complete Sets |
168
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
Traditional schema matchers use a set of distinct simple matchers and use a composition function to combine the individual scores using an arbitrary order of matcher application l...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Highly underactuated and passively adaptive robotic hands have shown great promise for robust performance in unstructured settings. In order to fully realize this potential, ef...
226
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we propose a novel approach for the visual navigation of unmanned aerial vehicles (UAV). In contrast to most available methods, a single perspective camera is us...
224
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
210
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...