120 search results - page 17 / 24 » Property Oriented Test Case Generation |
ASPDAC
2004
ACM
13 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
MICCAI
1999
Springer
13 years 11 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
WSC
2008
13 years 9 months ago
2008
In this paper we present SR-1, a simulation-based heuristic algorithm for the Capacitated Vehicle Routing Problem (CVRP). Given a CVRP instance, SR-1 uses an initial "good so...
AR
2008
13 years 6 months ago
2008
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
ATAL
2007
Springer
14 years 28 days ago
2007
Springer
For embodied agents to engage in realistic multiparty conversation, they must stand in appropriate places with respect to other agents and the environment. When these factors chan...