Sciweavers

3212 search results - page 184 / 643
» Definition and modeling of process using object orientation
Sort
View
153
Voted
AINA
2003
IEEE
15 years 8 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
GIS
2004
ACM
16 years 6 months ago
A new approach for a topographic feature-based characterization of digital elevation data
Triangular Irregular Network (TIN) and Regular Square Grid (RSG) are widely used for representing 2.5 dimensional spatial data. However, these models are not defined from the topo...
Eric Saux, Ki-Joune Li, Min-Hwan Kim, Rémy ...
GIS
2007
ACM
16 years 6 months ago
Linear feature extraction using perceptual grouping and graph-cuts
In this paper we present a novel system for the detection and extraction of road map information from high-resolution satellite imagery. Uniquely, the proposed system is an integr...
Charalambos Poullis, Suya You, Ulrich Neumann
ECCV
2006
Springer
16 years 6 months ago
Real-Time Non-rigid Shape Recovery Via Active Appearance Models for Augmented Reality
One main challenge in Augmented Reality (AR) applications is to keep track of video objects with their movement, orientation, size, and position accurately. This poses a challengin...
Jianke Zhu, Steven C. H. Hoi, Michael R. Lyu
ICAC
2005
IEEE
15 years 10 months ago
Message from the General Chairs and Program Chairs
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................