979 search results - page 45 / 196 » Footprints in Local Reasoning |
133
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
153
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
184
Voted
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
140
click to vote
ICDCSW
2006
IEEE
15 years 9 months ago
2006
IEEE
Mobile robot teams are particularly suited to applications where infrastructure is unavailable or damaged since they can be used to quickly form an infrastructure-less mobile ad h...
199
click to vote
GIS
2009
ACM
16 years 4 months ago
2009
ACM
Many popular online services provide "local" or "yellow-pages" search, but none of them allow users to customize the search over user-specified data. Instead, ...