Sciweavers

4516 search results - page 503 / 904
» Semantic Web and Education
Sort
View
CORR
2008
Springer
81views Education» more  CORR 2008»
15 years 7 months ago
Platform-Independent Firewall Policy Representation
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
Vadim Zaliva
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 7 months ago
Topological Observations on Multiplicative Additive Linear Logic
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
André Hirschowitz, Michel Hirschowitz, Tom ...
CORR
2006
Springer
71views Education» more  CORR 2006»
15 years 7 months ago
Using NLP to build the hypertextuel network of a back-of-the-book index
Relying on the idea that back-of-the-book indexes are traditional devices for navigation through large documents, we have developed a method to build a hypertextual network that h...
Touria Aït El Mekki, Adeline Nazarenko
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 7 months ago
Dealing with Metonymic Readings of Named Entities
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...
Thierry Poibeau
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 7 months ago
Propositional theories are strongly equivalent to logic programs
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
Pedro Cabalar, Paolo Ferraris