Sciweavers

5456 search results - page 457 / 1092
» A study of Object Evolution
Sort
View
182
Voted
IAJIT
2008
118views more  IAJIT 2008»
15 years 6 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk
JUCS
2006
126views more  JUCS 2006»
15 years 6 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
TOG
2008
136views more  TOG 2008»
15 years 6 months ago
Curved folding
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
Martin Kilian, Simon Flöry, Zhonggui Chen, Ni...
164
Voted
TIP
2010
129views more  TIP 2010»
15 years 5 months ago
Registering Aerial Video Images Using the Projective Constraint
To separate object motion from camera motion in an aerial video, consecutive frames are registered at their planar background. Feature points are selected in consecutive frames an...
Brian P. Jackson, A. Ardeshir Goshtasby
BIRTHDAY
2010
Springer
15 years 4 months ago
Tracking Evidence
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
Sergei N. Artëmov