Sciweavers

4074 search results - page 204 / 815
» Abstract Graph Transformation
Sort
View
SIGMOD
2010
ACM
255views Database» more  SIGMOD 2010»
15 years 7 months ago
Large graph processing in the cloud
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
Rishan Chen, Xuetian Weng, Bingsheng He, Mao Yang
112
Voted
IAT
2009
IEEE
15 years 9 months ago
STORIES in Time: A Graph-Based Interface for News Tracking and Discovery
—We present the STORIES methods and tool for (a) an abstracted story representation from a collection of time-indexed documents; (b) visualising it in a way that encourages users...
Bettina Berendt, Ilija Subasic
145
Voted
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 2 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko
151
Voted
TII
2010
155views Education» more  TII 2010»
14 years 9 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
115
Voted
ICCV
1998
IEEE
16 years 4 months ago
View-Based Object Matching
W e introduce a novel view-based object representation, called the saliency map graph (SMG), which captures the salient regions of an object view at multiple scales using a wavele...
Ali Shokoufandeh, Ivan Marsic, Sven J. Dickinson