Sciweavers

1860 search results - page 286 / 372
» An Internet Based Development Framework for Reconfigurable C...
Sort
View
ENTCS
2008
72views more  ENTCS 2008»
13 years 8 months ago
Towards a Notion of Transaction in Graph Rewriting
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
Paolo Baldan, Andrea Corradini, Fernando Luí...
IPMU
2010
Springer
13 years 7 months ago
Performance Comparison of Fusion Operators in Bimodal Remote Sensing Snow Detection
Abstract. This contribution describes the system developed and implemented for the detection of snow based on the fusion of optical and Synthetic Aperture Radar (SAR) remote sensin...
Aureli Soria-Frisch, Antonio Repucci, Laura Moreno...
ALGORITHMICA
2004
111views more  ALGORITHMICA 2004»
13 years 8 months ago
Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems
We present a framework for an automated generation of exact search tree algorithms for NP-hard problems. The purpose of our approach is two-fold--rapid development and improved up...
Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Nie...
PVLDB
2008
108views more  PVLDB 2008»
13 years 8 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
BMCBI
2008
127views more  BMCBI 2008»
13 years 9 months ago
AMMO-Prot: amine system project 3D-model finder
Background: Amines are biogenic amino acid derivatives, which play pleiotropic and very important yet complex roles in animal physiology. For many other relevant biomolecules, bio...
Ismael Navas Delgado, Raúl Montañez,...