620 search results - page 7 / 124 » Verification and Validation and Artificial Intelligence |
APN
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
67
Voted
FLAIRS
2003
14 years 11 months ago
2003
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...
70
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
ICAT
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes the use of Virtual Reality to aid in the design, validation and user training of a gesture and vocal interface. The interface system sends commands to a conta...