2556 search results - page 199 / 512 » The Triconnected Abstraction of Process Models |
187
click to vote
EDUTAINMENT
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
182
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
176
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
173
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...
194
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...