Sciweavers

4961 search results - page 203 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
136
Voted
IVA
2010
Springer
15 years 1 months ago
MAY: My Memories Are Yours
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
Joana Campos, Ana Paiva
117
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 3 months ago
Transforming structures by set interpretations
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
Thomas Colcombet, Christof Löding
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 4 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
127
Voted
CADE
2001
Springer
16 years 3 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
82
Voted
ICCAD
2002
IEEE
82views Hardware» more  ICCAD 2002»
16 years 10 days 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