10916 search results - page 186 / 2184 » On Constructive Connectives and Systems |
186
click to vote
ICAI
2007
15 years 8 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...
158
click to vote
APIN
1999
15 years 6 months ago
1999
We present an approach based on knowledge medium using associative structures as a framework of information representation to gather raw information from heterogeneous information...
176
click to vote
IJCAI
1989
15 years 7 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
164
click to vote
CLIN
2003
15 years 8 months ago
2003
This paper presents an efficient algorithm for the incremental construction of a minimal acyclic sequential transducer (ST) from a list of input and output strings. The algorithm...
164
click to vote
LREC
2008
15 years 8 months ago
2008
We report on the construction of a gold-standard dataset consisting of annotated clinical notes suitable for evaluating our biomedical named entity recognition system. The dataset...