620 search results - page 30 / 124 » Verification and Validation and Artificial Intelligence |
FASE
2009
Springer
14 years 17 days ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
TSE
2010
13 years 3 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
AIIA
2007
Springer
14 years 2 months ago
2007
Springer
A paradigm for music expression understanding based on a joint semantic space, described by both affective and sensorial adjectives, is presented. Machine learning techniques were...
JELIA
1998
Springer
14 years 28 days ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
WIA
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. We describe an algorithm to deal with automatic error repair over unrestricted context-free languages. The method relies on a regional least-cost repair strategy with val...