Sciweavers

4211 search results - page 737 / 843
» Types as Abstract Interpretations
Sort
View
CLA
2004
15 years 5 months ago
Using Concept Formal Analysis for Cooperative Information Retrieval
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
Ibtissem Nafkha, Samir Elloumi, Ali Jaoua
DAGSTUHL
2004
15 years 5 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
DLT
2006
15 years 5 months ago
Well-Founded Semantics for Boolean Grammars
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
Vassilis Kountouriotis, Christos Nomikos, Panos Ro...
FLAIRS
2006
15 years 5 months ago
Context-based Term Disambiguation in Biomedical Literature
The huge volumes of unstructured texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information...
Ping Chen, Hisham Al-Mubaid
PAKM
2004
15 years 5 months ago
Incremental Knowledge Acquisition for Building Sophisticated Information Extraction Systems with KAFTIE
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
Son Bao Pham, Achim G. Hoffmann