Sciweavers

1314 search results - page 110 / 263
» Validation of Object Oriented Models using Animation
Sort
View
ENTCS
2008
153views more  ENTCS 2008»
13 years 11 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
SIGGRAPH
1999
ACM
14 years 3 months ago
View-dependent Geometry
When constructing 3D geometry for use in cel animation, the reference drawings of the object or character often contain various view-specific distortions, which cannot be captured...
Paul Rademacher
FMOODS
2008
14 years 7 days ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
ICCV
2007
IEEE
14 years 5 months ago
Surface-from-Gradients with Incomplete Data for Single View Modeling
Surface gradients are useful to surface reconstruction in single view modeling, shape-from-shading, and photometric stereo. Previous algorithms minimize a complex, nonlinear energ...
Heung-Sun Ng, Tai-Pang Wu, Chi-Keung Tang
ROOM
2000
14 years 3 days ago
Statecharts as Protocols for Objects
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
Annette Laue, Matthias Liedtke, Daniel Moldt, Ivan...