620 search results - page 24 / 124 » Verification and Validation and Artificial Intelligence |
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— Humans can control MIMO (Multiple-Input Multiple-Output) objects appropriately using knowledge of the MIMO object, which can be referred to as human MIMO control knowledge. An ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
AGI
2011
12 years 11 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...