2864 search results - page 36 / 573 » Geo Linked Data |
TYPES
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
SSDBM
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract. As scientists continue to migrate their work to computational methods, it is important to track not only the steps involved in the computation but also the data consumed ...
IRI
2008
IEEE
14 years 1 months ago
2008
IEEE
Much of the Web’s success rests with its role in enabling information reuse and integration across various boundaries. Hyperlinked Web resources represent a rich information tap...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
We tackle the problem of disambiguating entities on the Web. We propose a user-driven scheme where graphs of entities ? represented by globally identifiable declarative artifacts ...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...