5435 search results - page 905 / 1087 » Informed Detection Revisited |
167
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
156
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
A wide variety of practical problems related to the interaction of agents can be examined using biological metaphors. This paper applies the theory of G-networks to agent systems b...
169
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
In Simultaneous Localisation and Mapping (SLAM) the correspondence problem, specifically detecting cycles, is one of the most difficult challenges for an autonomous mobile robot. ...
176
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
229
click to vote
SETN
2004
Springer
15 years 12 months ago
2004
Springer
We present novel intelligent tools for mining 3D medical images. We focus on detecting discriminative Regions of Interest (ROIs) and mining associations between their spatial distr...