3656 search results - page 176 / 732 » Compact Location Problems |
112
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper deals with the long run average continuous control problem of piecewise deterministic Markov processes (PDMP‘s) taking values in a general Borel space and ...
142
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
144
click to vote
CRV
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider the problem of vision-based position estimation in urban environments. In particular, we are interested in position estimation from visual cues, but using only limited...
169
Voted
ADC
2006
Springer
15 years 11 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
109
Voted
CIG
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...