4961 search results - page 172 / 993 » Homomorphism-Homogeneous Relational Structures |
148
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
168
click to vote
SIGMOD
2003
ACM
16 years 6 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...
160
click to vote
TACAS
2009
Springer
16 years 1 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...
145
click to vote
HICSS
2008
IEEE
16 years 26 days 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...
162
click to vote
ICCS
2007
Springer
16 years 17 days 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...