Sciweavers

6794 search results - page 961 / 1359
» Semantics of Visual Languages
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 10 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
IJCNLP
2005
Springer
16 years 10 days ago
Corpus-Based Analysis of Japanese Relative Clause Constructions
Japanese relative clause constructions (RCC’s) are defined as being the NP’s of structure ‘S NP’, noting the lack of a relative pronoun or any other explicit form of noun-...
Takeshi Abekawa, Manabu Okumura
IJCNLP
2005
Springer
16 years 10 days ago
Two-Phase Biomedical Named Entity Recognition Using A Hybrid Method
Biomedical named entity recognition (NER) is a difficult problem in biomedical information processing due to the widespread ambiguity of terms out of context and extensive lexical ...
Seonho Kim, Juntae Yoon, Kyung-Mi Park, Hae-Chang ...
IJCNLP
2005
Springer
16 years 10 days ago
Relation Extraction Using Support Vector Machine
This paper presents a supervised approach for relation extraction. We apply Support Vector Machines to detect and classify the relations in Automatic Content Extraction (ACE) corpu...
Gum-Won Hong
192
Voted
PADL
2005
Springer
16 years 9 days ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir