1669 search results - page 178 / 334 » Structured Specification of Model Interpreters |
188
click to vote
ISMB
2008
15 years 6 months ago
2008
Motivation: Array-based comparative genomic hybridization (arrayCGH) has recently become a popular tool to identify DNA copy number variations along the genome. These profiles are...
151
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Gene Ontology (GO) characterizes and categorizes the functions of genes and their products according to biological processes, molecular functions and cellular componen...
110
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
132
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
134
click to vote
JLP
2010
14 years 10 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...