Sciweavers

2105 search results - page 297 / 421
» Decoupling in Object Orientation
Sort
View
IJCV
1998
121views more  IJCV 1998»
15 years 4 months ago
Continuous Time Matching Constraints for Image Streams
Corresponding image points of a rigid object in a discrete sequence of images fulfil the so-called multilinear constraint. In this paper the continuous time analogue of this const...
Kalle Åström, Anders Heyden
JUCS
2002
146views more  JUCS 2002»
15 years 4 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
TCS
2002
15 years 4 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
ICRA
2009
IEEE
175views Robotics» more  ICRA 2009»
15 years 2 months ago
A combination of particle filtering and deterministic approaches for multiple kernel tracking
Color-based tracking methods have proved to be efficient for their robustness qualities. The drawback of such global representation of an object is the lack of information on its s...
Céline Teuliere, Éric Marchand, Laur...
CVPR
2011
IEEE
15 years 2 days ago
Discriminative Image Warping with Attribute Flow
We address the problem of finding deformation between two images for the purpose of recognizing objects. The challenge is that discriminative features are often transformation-va...
Weiyu Zhang, Praveen Srinivasan, Jianbo Shi