7075 search results - page 1241 / 1415 » Models and heterogeneous reasoning |
112
click to vote
ICPADS
2007
IEEE
15 years 8 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...
102
Voted
ICRA
2007
IEEE
15 years 8 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...
INFOCOM
2007
IEEE
15 years 8 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...
135
click to vote
LICS
2007
IEEE
15 years 8 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 ...
134
click to vote
ROMAN
2007
IEEE
15 years 8 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...