Sciweavers

1052 search results - page 25 / 211
» The Brandeis Annotation Tool
Sort
View
PTS
2010
175views Hardware» more  PTS 2010»
13 years 5 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
LREC
2008
90views Education» more  LREC 2008»
13 years 9 months ago
Word Alignment Annotation in a Japanese-Chinese Parallel Corpus
Parallel corpora are critical resources for machine translation research and development since parallel corpora contain translation equivalences of various granularities. Manual a...
Yujie Zhang, Zhulong Wang, Kiyotaka Uchimoto, Qing...
OTM
2010
Springer
13 years 6 months ago
Integrating Keywords and Semantics on Document Annotation and Search
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
Nikos Bikakis, Giorgos Giannopoulos, Theodore Dala...
BMCBI
2010
162views more  BMCBI 2010»
13 years 5 months ago
SNPexp - A web tool for calculating and visualizing correlation between HapMap genotypes and gene expression levels
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...
Kristian Holm, Espen Melum, Andre Franke, Tom H. K...
NAR
2011
203views Computer Vision» more  NAR 2011»
12 years 11 months ago
Laminin database: a tool to retrieve high-throughput and curated data for studies on laminins
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
Daiane C. F. Golbert, Leandra Linhares-Lacerda, Lu...