4961 search results - page 171 / 993 » Homomorphism-Homogeneous Relational Structures |
118
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
176
click to vote
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
The major relational database systems have been providing XML support for several years, predominantly by mapping XML to existing concepts such as LOBs or (object-)relational tabl...
121
click to vote
ECBS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
135
click to vote
FINTAL
2006
15 years 7 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...