10802 search results - page 2066 / 2161 » Generative and developmental systems |
176
click to vote
IPPS
2008
IEEE
16 years 22 days ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
142
click to vote
IROS
2008
IEEE
16 years 22 days ago
2008
IEEE
—This paper presents an alternative formulation for the Bayesian feature-based simultaneous localisation and mapping (SLAM) problem, using a random finite set approach. For a fe...
140
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
198
click to vote
NOCS
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper we examine a latency insensitive network composed of very fast and simple circuits that connects SoC cores that are also latency insensitive, de-synchronized, or asy...
157
click to vote
RAM
2008
IEEE
16 years 21 days ago
2008
IEEE
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...