1981 search results - page 244 / 397 » Model-Checking Hierarchical Structures |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—In ad hoc networks scalability is a critical requirement if these technologies have to reach their full potential. Most of the proposed routing protocols do not operate efficien...
JOLLI
2010
13 years 7 months ago
2010
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
PVLDB
2010
13 years 7 months ago
2010
In this paper, we present VisQI (VISual Query interface Integration system), a Deep Web integration system. VisQI is capable of (1) transforming Web query interfaces into hierarch...
COLING
2010
13 years 4 months ago
2010
Syntactic reordering on the source-side is an effective way of handling word order differences. The (DE) construction is a flexible and ubiquitous syntactic structure in Chinese w...