620 search results - page 33 / 124 » Verification and Validation and Artificial Intelligence |
AMI
2008
Springer
13 years 10 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
AAAI
1990
13 years 10 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
MICAI
2000
Springer
14 years 9 days ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
AI
2004
Springer
14 years 2 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
HAIS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In remote sensing hyperspectral image processing, identifying the constituent spectra (endmembers) of the materials in the image is a key procedure for further analysis. ...