1722 search results - page 165 / 345 » Generating Tests from Counterexamples |
NIPS
2004
13 years 10 months ago
2004
A generative probabilistic model for objects in images is presented. An object consists of a constellation of features. Feature appearance and pose are modeled probabilistically. ...
AIME
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
DEXA
2007
Springer
14 years 3 months ago
2007
Springer
Since a big part of web content is stored in relational databases (RDB) there are several approaches for generating of semantic web metadata from RDB. In our previous work we desig...
MTV
2006
IEEE
14 years 3 months ago
2006
IEEE
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
HT
2005
ACM
14 years 2 months ago
2005
ACM
This paper describes the StorySpinner system, a sculptural hypertext reader used as a test bed for experimenting with the authoring of narrative flow in automatically generated st...