Sciweavers

131 search results - page 11 / 27
» Combining syntactic and semantic bidirectionalization
Sort
View
TCS
2008
13 years 9 months ago
Semantic subtyping for the pi-calculus
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
Giuseppe Castagna, Rocco De Nicola, Daniele Varacc...
ASP
2005
Springer
13 years 11 months ago
Exploiting ASP for Semantic Information Extraction
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
Massimo Ruffolo, Nicola Leone, Marco Manna, Domeni...
LICS
2010
IEEE
13 years 8 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
SNPD
2010
13 years 8 months ago
Ambiguous Arabic Words Disambiguation
In this paper we propose an hybrid system of Arabic words disambiguation. To achieve this goal we use the methods employed in the domain of information retrieval: Latent semantic ...
Laroussi Merhbene, Anis Zouaghi, Mounir Zrigui
TSD
2005
Springer
14 years 3 months ago
Detection and Correction of Malapropisms in Spanish by Means of Internet Search
Malapropisms are real-word errors that lead to syntactically correct but semantically implausible text. We report an experiment on detection and correction of Spanish malapropisms....
Igor A. Bolshakov, Sofía N. Galicia-Haro, A...