Sciweavers

648 search results - page 25 / 130
» A Proposal for ASM Diagrams
Sort
View
GD
2006
Springer
13 years 11 months ago
Controllable and Progressive Edge Clustering for Large Networks
Node-link diagrams are widely used in information visualization to show relationships among data. However, when the size of data becomes very large, node-link diagrams will become ...
Huamin Qu, Hong Zhou, Yingcai Wu
CAINE
2003
13 years 9 months ago
Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
Nicolas Pernet, Yves Sorel
DIAGRAMS
2010
Springer
13 years 7 months ago
Heterogeneous Reasoning in Real Arithmetic
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
Matej Urbas, Mateja Jamnik
ICCV
2003
IEEE
14 years 28 days ago
A Model-Based Approach for Automated Feature Extraction in Fundus Images
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
Huiqi Li, Opas Chutatape
WWW
2005
ACM
14 years 8 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama