Sciweavers

236 search results - page 19 / 48
» Strong normalization results by translation
Sort
View
CVPR
2000
IEEE
14 years 3 months ago
An Effective Approach to Detect Lesions in Color Retinal Images
Diabetic-related eye diseases are the most common cause of blindness in the world. So far the most effective treatment for these eye diseases is early detection through regular sc...
Huan Wang, Wynne Hsu, Kheng Guan Goh, Mong-Li Lee
TIME
2007
IEEE
14 years 5 months ago
Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
Marcel Puchol-Blasco, Estela Saquete, Patricio Mar...
TIC
2000
Springer
124views System Software» more  TIC 2000»
14 years 2 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
NLE
2010
104views more  NLE 2010»
13 years 9 months ago
Interlingual annotation of parallel text corpora: a new framework for annotation and evaluation
This paper focuses on an important step in the creation of a system of meaning representation and the development of semantically-annotated parallel corpora, for use in applicatio...
Bonnie J. Dorr, Rebecca J. Passonneau, David Farwe...
TARK
2005
Springer
14 years 4 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit