5482 search results - page 760 / 1097 » Logic Programming and Databases |
134
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...
179
click to vote
PODS
1994
ACM
15 years 10 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
204
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
297
Voted
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
216
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...