9067 search results - page 764 / 1814 » Adaptive Model Checking |
255
click to vote
TOG
2010
15 years 2 months ago
2010
Realistic rendering of participating media is one of the major subjects in computer graphics. Monte Carlo techniques are widely used for realistic rendering because they provide u...
383
click to vote
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Robust tracking of abrupt motion is a challenging task
in computer vision due to the large motion uncertainty. In
this paper, we propose a stochastic approximation Monte
Carlo (...
241
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
224
click to vote
EDBT
2010
ACM
16 years 2 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
238
click to vote
SPLC
2007
15 years 8 months ago
2007
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...