1722 search results - page 93 / 345 » Generating Tests from Counterexamples |
126
click to vote
WSC
2007
15 years 5 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
113
Voted
SCIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
127
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
139
click to vote
EMNLP
2008
15 years 4 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...
110
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...