3820 search results - page 539 / 764 » Bounded Model Debugging |
124
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
138
click to vote
FGR
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a novel approach to robust and flexible person tracking using an algorithm that combines two powerful stochastic modeling techniques: The first one is the tech...
118
click to vote
AAAI
2007
15 years 5 months ago
2007
We consider problems of geometric exploration and selfdeployment for simple robots that can only sense the combinatorial (non-metric) features of their surroundings. Even with suc...
119
Voted
ALGOSENSORS
2008
Springer
15 years 5 months ago
2008
Springer
We consider the problem of counting a set of discrete point targets using a network of sensors under a minimalistic model. Each sensor outputs a single integer, the number of disti...
132
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...