Sciweavers

3993 search results - page 27 / 799
» Matchmaking for Structured Objects
Sort
View
ZUM
2005
Springer
140views Formal Methods» more  ZUM 2005»
14 years 3 months ago
An Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
Nuno Amálio, Fiona Polack, Susan Stepney
SEW
2005
IEEE
14 years 3 months ago
Indicators of Structural Stability of Object-Oriented Designs: A Case Study
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
Mahmoud O. Elish, David C. Rine
ICIP
2006
IEEE
14 years 3 months ago
MRF Modeling for Optical Flow Computation from Multi-Structure Objects
We propose in this paper a new formulation of the equation of the optical flow enabling to compute global and local motions of multi-structure objects (flowers and petals, trees...
Véronique Prinet, Cyril Cassisa, FengFeng T...
ICDCS
1998
IEEE
14 years 1 months ago
Structuring Remote Object Systems for Mobile Hosts with Intermittent Connectivity
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...
Girish Welling, Maximilian Ott
SSPR
1998
Springer
14 years 1 months ago
Object Recognition from Large Structural Libraries
This paper presents a probabilistic similarity measure for object recognition from large libraries of line-patterns. We commence from a structural pattern representation which use...
Benoit Huet, Edwin R. Hancock