8437 search results - page 173 / 1688 » Preferences over Sets |
252
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
197
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
199
click to vote
FQAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
153
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present ArsMeteo◦ , a Web 2.0 portal for collecting and sharing digital (or digitalized) artworks, like videos, pictures, poems and music. The ArsMeteo◦ conte...
208
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is an increasing need for an XML query engine that not only searches for exact matches to a query but also returns “query-like” structures. We have designed and develope...