Sciweavers

12459 search results - page 286 / 2492
» cans 2006
Sort
View
NAR
2006
88views more  NAR 2006»
15 years 6 months ago
RMD: a rice mutant database for functional analysis of the rice genome
Rice Mutant Database (RMD, http://rmd.ncpgr.cn) is an archive for collecting, managing and searching information of the T-DNA insertion mutants generated by an enhancer trap syste...
Jianwei Zhang, Caishun Li, Changyin Wu, Lizhong Xi...
IANDC
2007
106views more  IANDC 2007»
15 years 6 months ago
Tyrolean termination tool: Techniques and features
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
Nao Hirokawa, Aart Middeldorp
NAR
2006
110views more  NAR 2006»
15 years 6 months ago
EMAGE: a spatial database of gene expression patterns during mouse embryo development
EMAGE (http://genex.hgu.mrc.ac.uk/Emage/database) is a freely available, curated database of gene expression patterns generated by in situ techniques in the developing mouse embry...
Jeffrey H. Christiansen, Yiya Yang, Shanmugasundar...
IANDC
2007
117views more  IANDC 2007»
15 years 6 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
IANDC
2007
81views more  IANDC 2007»
15 years 6 months ago
Some natural conditions on incremental learning
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
Sanjay Jain, Steffen Lange, Sandra Zilles