875 search results - page 80 / 175 » Extending the CG Model by Simulations |
DAGM
2009
Springer
14 years 4 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...
ICIDS
2009
Springer
14 years 4 months ago
2009
Springer
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
VALUETOOLS
2006
ACM
14 years 4 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
OPODIS
2008
13 years 11 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...