2586 search results - page 435 / 518 » Automatic Abstraction for Congruences |
MATES
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
108
click to vote
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Automatic delineation of the prostate boundary in transrectal ultrasound (TRUS) can play a key role in image-guided prostate intervention. However, it is a very challengi...
108
click to vote
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...
MIG
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...