Sciweavers

6794 search results - page 1101 / 1359
» Semantics of Visual Languages
Sort
View
MLCW
2005
Springer
15 years 10 months ago
Learning Textual Entailment on a Distance Feature Space
Textual Entailment recognition is a very difficult task as it is one of the fundamental problems in any semantic theory of natural language. As in many other NLP tasks, Machine Lea...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...
TABLEAUX
2005
Springer
15 years 10 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 10 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
WRAC
2005
Springer
15 years 10 months ago
Concept and Sensor Network Approach to Computing: The Lexicon Acquisition Component
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
Jan Smid, Marek Obitko, Andrej Bencur
APLAS
2004
ACM
15 years 10 months ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
« Prev « First page 1101 / 1359 Last » Next »