Sciweavers

4199 search results - page 153 / 840
» Generalizing Data in Natural Language
Sort
View
FMOODS
2008
15 years 7 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
NLPRS
2001
Springer
15 years 10 months ago
Automatic Sense Tagging Using Parallel Corpora
This article reports the results of an analysis of translation equivalents in six languages from different language families, extracted from an on-line parallel corpus of George O...
Nancy Ide, Tomaz Erjavec, Dan Tufis
WWW
2007
ACM
16 years 7 months ago
SPath: a path language for XML schema
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
Erik Wilde, Felix Michel
KDD
2005
ACM
99views Data Mining» more  KDD 2005»
16 years 6 months ago
Determining an author's native language by mining a text for errors
In this paper, we show that stylistic text features can be exploited to determine an anonymous author's native language with high accuracy. Specifically, we first use automat...
Moshe Koppel, Jonathan Schler, Kfir Zigdon
WWW
2005
ACM
16 years 7 months ago
The language observatory project (LOP)
The first part of the paper provides a brief description of the Language Observatory Project (LOP) and highlights the major technical difficulties to be challenged. The latter par...
Yoshiki Mikami, Pavol Zavarsky, Mohd Zaidi Abd Roz...