13383 search results - page 2289 / 2677 » Abstractions from proofs |
131
click to vote
ICMLA
2009
15 years 2 months ago
2009
Abstract--This paper presents a novel and domainindependent approach for graph-based structure learning. The approach is based on solving the Maximum Common SubgraphIsomorphism pro...
159
click to vote
ICNP
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Recent technological advances have motivated largescale deployment of RFID systems. RFID readers are often static and carefully deployed in a planned manner. However, the...
166
click to vote
ICOODB
2009
15 years 2 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
151
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- A main difficulty that arises in the context of probabilistic localization is the design of an appropriate observation model, i.e., determining the likelihood of a senso...
151
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- Existing high-dimensional motion planning algorithms are simultaneously overpowered and underpowered. In domains sparsely populated by obstacles, the heuristics used by ...