592 search results - page 81 / 119 » Social, Structured and Semantic Search |
96
Voted
APBC
2004
15 years 1 months ago
2004
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...
JUCS
2006
15 years 12 days ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
94
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
In this poster, we present the P2P XML data localization layer of XLive, an XQuery mediation system developed at University of Versailles [2]. A major challenge in the evaluation ...
107
Voted
WIKIS
2006
ACM
15 years 6 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
103
Voted
BMCBI
2007
15 years 14 days ago
2007
Background: Recent advances in Web and information technologies with the increasing decentralization of organizational structures have resulted in massive amounts of information r...