Sciweavers

4218 search results - page 565 / 844
» Complete sets of cooperations
Sort
View
BCSHCI
2009
15 years 1 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...
105
Voted
CSL
2010
Springer
15 years 1 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
120
Voted
AIL
2007
126views more  AIL 2007»
15 years 27 days 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
104
Voted
BMCBI
2010
105views more  BMCBI 2010»
15 years 27 days 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...
94
Voted
BMCBI
2007
148views more  BMCBI 2007»
15 years 27 days 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