3820 search results - page 321 / 764 » Bounded Model Debugging |
135
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
166
click to vote
MST
2002
15 years 4 months ago
2002
Abstract. Blockwise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is f...
106
click to vote
FS
2010
15 years 2 months ago
2010
Abstract Consider discrete time observations (X δ)1≤ ≤n+1 of the process X satisfying dXt = √ VtdBt, with Vt a one-dimensional positive diffusion process independent of the...
105
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
This paper proposes a novel approach for predicting user satisfaction transitions during a dialogue only from the ratings given to entire dialogues, with the aim of reducing the c...
138
click to vote
LR
2011
14 years 7 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...