3446 search results - page 521 / 690 » A Reasoning Algorithm for pD* |
136
click to vote
ICPADS
2007
IEEE
15 years 10 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...
125
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
154
click to vote
IPCCC
2007
IEEE
15 years 10 months ago
2007
IEEE
The success of any spyware is determined by its ability to evade detection. Although traditional detection methodologies employing signature and anomaly based systems have had rea...
128
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce the concept of locally excluded minors. Graph classes locally excluding a minor are a common generalisation of the concept of excluded minor classes and of graph clas...
160
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...