Sciweavers

4743 search results - page 487 / 949
» The PlusCal Algorithm Language
Sort
View
IJCNLP
2005
Springer
16 years 10 days 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
16 years 10 days 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...
ICGI
2004
Springer
16 years 6 days 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...
164
Voted
TAL
2004
Springer
16 years 5 days 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 11 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...