620 search results - page 66 / 124 » Verification and Validation and Artificial Intelligence |
JELIA
1994
Springer
14 years 26 days ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
ECAI
2006
Springer
14 years 14 days ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper we present an original framework to extract representative groups from a dataset, and we validate it over a novel case study. The framework specifies the application ...
CCIA
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. The design and the validation of an automatic plaque characterization technique based on Intravascular Ultrasound (IVUS) usually requires a data ground-truth. The histolo...
ATAL
2006
Springer
14 years 16 days ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...