Sciweavers

412 search results - page 80 / 83
» Completion for Multiple Reduction Orderings
Sort
View
BCSHCI
2007
13 years 8 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
BDA
2006
13 years 8 months ago
Type-Based XML Projection
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
Véronique Benzaken, Giuseppe Castagna, Dari...
CASCON
1992
127views Education» more  CASCON 1992»
13 years 8 months ago
Overview of multidatabase transaction management
A multidatabase system (MDBS) is a facility that allows users access to data located in multiple autonomous database management systems (DBMSs). In such a system, globaltransaction...
Yuri Breitbart, Hector Garcia-Molina, Abraham Silb...
BMCBI
2008
99views more  BMCBI 2008»
13 years 7 months ago
Binning sequences using very sparse labels within a metagenome
Background: In metagenomic studies, a process called binning is necessary to assign contigs that belong to multiple species to their respective phylogenetic groups. Most of the cu...
Chon-Kit Kenneth Chan, Arthur L. Hsu, Saman K. Hal...
BMCBI
2008
90views more  BMCBI 2008»
13 years 7 months ago
Ortholog-based protein-protein interaction prediction and its application to inter-species interactions
Background: The rapid growth of protein-protein interaction (PPI) data has led to the emergence of PPI network analysis. Despite advances in high-throughput techniques, the intera...
Sheng-An Lee, Chen-hsiung Chan, Chi-Hung Tsai, Jin...