11561 search results - page 1969 / 2313 » A Language for Biochemical Systems |
220
click to vote
ECML
1998
Springer
15 years 10 months ago
1998
Springer
Previous bias shift approaches to predicate invention are not applicable to learning from positive examples only, if a complete hypothesis can be found in the given language, as ne...
160
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
170
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
199
click to vote
BIBE
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a novel gene finding and validation tool, called GeneScope, which is capable of finding and validating genes declaratively by autonomously integrating heterogeneous onl...
182
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...