4266 search results - page 289 / 854 » Search for More Declarativity |
190
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
—In many search domains, both contents and searches are frequently tied to named entities such as a person, a company or similar. An example of such a domain is a news archive. O...
187
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
182
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
170
Voted
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
132
click to vote
AAAI
2004
15 years 8 months ago
2004
Ontology as a discipline of Computer Science has made many claims about its usefulness, however to date there has been very little evaluation of those claims. We present the resul...