1722 search results - page 168 / 345 » Generating Tests from Counterexamples |
FORTE
2008
13 years 10 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
UAI
2008
13 years 10 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The purpose of this paper is to apply and evaluate the bibliometric method Bradfordizing for information retrieval (IR) experiments. Bradfordizing is used for generating core docu...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
This paper proposes a statistic framework for segmenting textured areas over real images by discriminant snakes. Our active contour model has the ability to learn different textur...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...