Sciweavers

570 search results - page 39 / 114
» A Connectivity Constraint Using Bridges
Sort
View
XSYM
2009
Springer
264views Database» more  XSYM 2009»
14 years 5 months ago
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
Massimo Franceschet, Donatella Gubiani, Angelo Mon...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
14 years 5 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
KDD
2007
ACM
220views Data Mining» more  KDD 2007»
14 years 11 months ago
SCAN: a structural clustering algorithm for networks
Network clustering (or graph partitioning) is an important task for the discovery of underlying structures in networks. Many algorithms find clusters by maximizing the number of i...
Xiaowei Xu, Nurcan Yuruk, Zhidan Feng, Thomas A. J...
ISBI
2011
IEEE
13 years 2 months ago
Trace driven registration of neuron confocal microscopy stacks
Active research in the area of 3-D neurite tracing has predominantly focused on single sections. Ultimately, however, neurobiologists desire to study the long range connectivity o...
Luke Hogrebe, António R. C. Paiva, Elizabet...
ECOOP
2008
Springer
14 years 26 days ago
Safe Cross-Language Inheritance
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
Kathryn E. Gray