8337 search results - page 1451 / 1668 » Reasoning With Characteristic Models |
139
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
128
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
—Our sensor selection algorithm targets the problem of global self-localization of multi-sensor mobile robots. The algorithm builds on the probabilistic reasoning using Bayes fil...
122
Voted
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
167
Voted
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
168
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...