Sciweavers

4743 search results - page 487 / 949
» The PlusCal Algorithm Language
Sort
View
88
Voted
IJCNLP
2005
Springer
15 years 9 months ago
Why Is Zero Marking Important in Korean?
This paper argues for the necessity of zero pronoun annotations in Korean treebanks and provides an annotation scheme that can be used to develop a gold standard for testing differ...
Sun-Hee Lee, Donna K. Byron, Seok Bae Jang
LPAR
2005
Springer
15 years 9 months ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
156
Voted
ICGI
2004
Springer
15 years 8 months ago
Learning Node Selecting Tree Transducer from Completely Annotated Examples
Abstract. A base problem in Web information extraction is to find appropriate queries for informative nodes in trees. We propose to learn queries for nodes in trees automatically ...
Julien Carme, Aurélien Lemay, Joachim Niehr...
TAL
2004
Springer
15 years 8 months ago
Smoothing and Word Sense Disambiguation
This paper presents an algorithm to apply the smoothing techniques described in [1] to three different Machine Learning (ML) methods for Word Sense Disambiguation (WSD). The method...
Eneko Agirre, David Martínez
COOPIS
2002
IEEE
15 years 8 months ago
Querying XML Sources Using an Ontology-Based Mediator
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
Bernd Amann, Catriel Beeri, Irini Fundulaki, Miche...