620 search results - page 28 / 124 » Verification and Validation and Artificial Intelligence |
ICAIL
2007
ACM
14 years 17 days ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
ECAI
2006
Springer
14 years 11 days ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
WIA
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
AIPS
2006
13 years 10 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
FLAIRS
2006
13 years 10 months ago
2006
Automatic facial expression recognition has gained much attention during the last decade because of its potential application in areas such as more engaging humancomputer interfac...