6650 search results - page 200 / 1330 » models 2009 |
192
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
167
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper presents Bayesian edge inference (BEI), a
single-frame super-resolution method explicitly grounded in
Bayesian inference that addresses issues common to existing
meth...
166
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper presents a simple yet practical 3-D modeling
method for recovering surface shape and reflectance
from a set of images. We attach a point light source to a
hand-held c...
189
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...