Sciweavers

6047 search results - page 144 / 1210
» Modeling with Extend
Sort
View
124
Voted
TC
1998
15 years 1 months ago
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
Sheng Uei Guan, Hsiao-Yeh Yu, Jen-Shun Yang
DEFORM
2000
15 years 3 months ago
Efficient Muscle Shape Deformation
: In this paper we extend previous work [Aubel00] and propose a muscle model suitable for computer graphics based on physiological and anatomical considerations. Muscle motion and ...
Amaury Aubel, Daniel Thalmann
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 3 months ago
Application of real rational modules in system identification
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
Tzvetan Ivanov, Pierre-Antoine Absil, Brian D. O. ...
AIED
2005
Springer
15 years 7 months ago
Some Unusual Open Learner Models
Open learner models to facilitate reflection are becoming more common in adaptive learning environments. There are a variety of approaches to presenting the learner model to the st...
Susan Bull, Abdallatif S. Abu-Issa, Harpreet Ghag,...
130
Voted
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 5 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack