4961 search results - page 172 / 993 » Homomorphism-Homogeneous Relational Structures |
110
click to vote
MFCS
2000
Springer
15 years 6 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
123
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
108
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
112
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Knowledge sharing (KS) has been a central concern in knowledge management (KM) practice and research. However, KS has remained largely a simplistic concept. In this study, we diff...
118
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...