2148 search results - page 133 / 430 » From process logic to program logic |
120
click to vote
CICLING
2010
Springer
15 years 9 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
127
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
133
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
120
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
136
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...