Sciweavers

11484 search results - page 2185 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
RECOMB
2006
Springer
16 years 6 months ago
Identifiability Issues in Phylogeny-Based Detection of Horizontal Gene Transfer
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). Detecting this process bears great significanc...
Cuong Than, Derek A. Ruths, Hideki Innan, Luay Nak...
CADE
2004
Springer
16 years 6 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
VLDB
2006
ACM
124views Database» more  VLDB 2006»
16 years 6 months ago
Query optimization in XML structured-document databases
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
Dunren Che, Karl Aberer, M. Tamer Özsu
VLDB
2007
ACM
226views Database» more  VLDB 2007»
16 years 6 months ago
SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
Fusheng Wang, Pierre-Emmanuel Bourgue, Georg Hacke...
VLDB
2008
ACM
170views Database» more  VLDB 2008»
16 years 6 months ago
A layered framework supporting personal information integration and application design for the semantic desktop
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
Isabel F. Cruz, Huiyong Xiao
« Prev « First page 2185 / 2297 Last » Next »