4245 search results - page 795 / 849 » Input Modeling |
120
click to vote
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
117
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
119
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
Image metamorphosis, or image morphing, is a popular technique for creating a smooth transition between two images. For synthetic images, transforming and rendering the underlying...
111
click to vote
FLAIRS
2007
15 years 4 months ago
2007
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
111
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...