Sciweavers

1314 search results - page 16 / 263
» Validation of Object Oriented Models using Animation
Sort
View
GRAPHITE
2003
ACM
14 years 23 days ago
Interactive visual method for motion and model reuse
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
Akanksha Huang, Zhiyong Huang, B. Prabhakaran, Con...
FAC
2008
178views more  FAC 2008»
13 years 7 months ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
ISBI
2006
IEEE
14 years 8 months ago
Validation and regularization in diffusion MRI tractography
We present a physical phantom designed for fibre tractography validation and use it to evaluate tracking algorithms that employ (a) the classic diffusion tensor model of diffusion...
Jennifer S. W. Campbell, Peter Savadjiev, Kaleem S...
FUIN
2010
136views more  FUIN 2010»
13 years 4 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel
DOOD
1995
Springer
128views Database» more  DOOD 1995»
13 years 11 months ago
Authorization Analysis of Queries in Object-Oriented Databases
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
Hiroyuki Seki, Yasunori Ishihara, Minoru Ito