7167 search results - page 166 / 1434 » A Technique for Invariant Generation |
223
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Life science data sources represent a complex link-driven federation of publicly available Web accessible sources. A fundamental need for scientists today is the ability ...
174
Voted
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
172
click to vote
CLEF
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we assess the impact of using thesaurus-based query expansion methods, at the Information Retrieval (IR) stage of a Question Answering (QA) system. We focus on expan...
224
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...
189
click to vote
WSCG
2003
15 years 8 months ago
2003
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...