5726 search results - page 340 / 1146 » Supporting annotations on relations |
157
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
163
click to vote
FOSSACS
2004
Springer
16 years 18 hour ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
151
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
185
click to vote
LREC
2010
15 years 8 months ago
2010
This paper investigates the mapping between two semantic formalisms, namely the tectogrammatical layer of the Prague Dependency Treebank 2.0 (PDT) and (Robust) Minimal Recursion S...
196
click to vote
NAR
2008
15 years 6 months ago
2008
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...