Sciweavers

5066 search results - page 311 / 1014
» Spectra of structures and relations
Sort
View
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 8 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
CADE
2001
Springer
16 years 6 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
ICCAD
2002
IEEE
82views Hardware» more  ICCAD 2002»
16 years 3 months ago
Simplification of non-deterministic multi-valued networks
1 We discuss the simplification of non-deterministic MV networks and their internal nodes using internal flexibilities. Given the network structure and its external specification, ...
Alan Mishchenko, Robert K. Brayton
WG
2009
Springer
16 years 1 months ago
Chordal Digraphs
Chordal graphs, also called triangulated graphs, are important in algorithmic graph theory. In this paper we generalise the definition of chordal graphs to the class of directed ...
Daniel Meister, Jan Arne Telle
CDC
2008
IEEE
105views Control Systems» more  CDC 2008»
16 years 1 months ago
On the stability of distance-based formation control
— This paper examines stability properties of distance-based formations. These are formations encoded by inter-agent relative distances. A negative gradient control law is propos...
Dimos V. Dimarogonas, Karl Henrik Johansson