Sciweavers

2806 search results - page 64 / 562
» BML and Related Tools
Sort
View
146
Voted
LREC
2010
194views Education» more  LREC 2010»
15 years 3 months ago
GernEdiT - The GermaNet Editing Tool
This paper introduces GernEdiT (short for: GermaNet Editing Tool), a new graphical user interface for the lexicographers and developers of GermaNet, the German version of the Prin...
Verena Henrich, Erhard W. Hinrichs
COCO
2010
Springer
129views Algorithms» more  COCO 2010»
15 years 5 months ago
On the Relative Strength of Pebbling and Resolution
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
Jakob Nordström
127
Voted
TSE
2008
236views more  TSE 2008»
15 years 1 months ago
Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Fr...
BMCBI
2006
111views more  BMCBI 2006»
15 years 1 months ago
Tools for integrated sequence-structure analysis with UCSF Chimera
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
Elaine C. Meng, Eric F. Pettersen, Gregory S. Couc...
130
Voted
BMCBI
2010
153views more  BMCBI 2010»
15 years 2 months ago
VITCOMIC: visualization tool for taxonomic compositions of microbial communities based on 16S rRNA gene sequences
Background: Understanding the community structure of microbes is typically accomplished by sequencing 16S ribosomal RNA (16S rRNA) genes. These community data can be represented b...
Hiroshi Mori, Fumito Maruyama, Ken Kurokawa