4266 search results - page 132 / 854 » Search for More Declarativity |
128
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
Due to the enormous size of the web and low precision of user queries, finding the right information from the web can be difficult if not impossible. One approach that tries to ...
124
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
140
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
106
click to vote
CLEF
2003
Springer
15 years 9 months ago
2003
Springer
The UNED phrase-based cross-language summaries were first introduced at iCLEF 2001 as a translation strategy which permitted faster document selection with roughly the same accur...
141
click to vote
IV
2000
IEEE
15 years 8 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...