Sciweavers

4218 search results - page 565 / 844
» Complete sets of cooperations
Sort
View
BCSHCI
2009
15 years 5 months ago
Initial explorations into the user experience of 3D file browsing
We present an initial exploration into the usability of 3D file browsing. To explore the 3D file browsing technique design space, we analyzed the existing literature and developed...
Anamary Leal, Chadwick A. Wingrave, Joseph J. LaVi...
CSL
2010
Springer
15 years 5 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
AIL
2007
126views more  AIL 2007»
15 years 4 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
BMCBI
2010
105views more  BMCBI 2010»
15 years 4 months ago
Predicting phenotypic traits of prokaryotes from protein domain frequencies
Background: Establishing the relationship between an organism's genome sequence and its phenotype is a fundamental challenge that remains largely unsolved. Accurately predict...
Thomas Lingner, Stefanie Mühlhausen, Toni Gab...
BMCBI
2007
148views more  BMCBI 2007»
15 years 4 months ago
BPhyOG: An interactive server for genome-wide inference of bacterial phylogenies based on overlapping genes
Background: Overlapping genes (OGs) in bacterial genomes are pairs of adjacent genes of which the coding sequences overlap partly or entirely. With the rapid accumulation of seque...
Yingqin Luo, Cong Fu, Da-Yong Zhang, Kui Lin