6704 search results - page 596 / 1341 » Testing Scenario-Based Models |
223
click to vote
CONCUR
1994
Springer
15 years 11 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
206
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
239
click to vote
ESAW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
171
click to vote
LISA
2008
15 years 9 months ago
2008
The art of performance tuning is, alas, still an art; there are few tools to help predict the effects of changes that are motivated by performance needs. In this work, we present ...
231
click to vote
CGVR
2008
15 years 8 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...