18090 search results - page 74 / 3618 » Computing by Only Observing |
159
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
136
click to vote
ICCS
2007
Springer
16 years 9 days ago
2007
Springer
Observing systems facilitate scientific studies by instrumenting the real world and collecting corresponding measurements, with the aim of detecting and tracking phenomena of inte...
180
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We apply the auxiliary particle filter algorithm of Pitt and Shephard (1999) to the problem of robot localization. To deal with the high-dimensional sensor observations (images) ...
172
click to vote
AIPS
2006
15 years 7 months ago
2006
We present a decision making algorithm for agents that act in partially observable domains which they do not know fully. Making intelligent choices in such domains is very difficu...
138
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequenti...