Sciweavers

2958 search results - page 82 / 592
» Extending and Implementing RASP
Sort
View
FPCA
1995
13 years 11 months ago
A Generalization of Exceptions and Control in ML-like Languages
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
Carl A. Gunter, Didier Rémy, Jon G. Riecke
ACMICEC
2008
ACM
228views ECommerce» more  ACMICEC 2008»
13 years 9 months ago
A semantic-based mobile registry for dynamic RFID-based logistics support
In this paper we propose an extended version of the open source jUDDI implementation by the Apache Software Foundation, adapted to pervasive RFID contexts. The registry
Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio...
DLOG
2004
13 years 9 months ago
From SHOQ(D) Toward E-connections
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
Bernardo Cuenca Grau, Bijan Parsia
RULEML
2010
Springer
13 years 6 months ago
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic
Abstract. In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the a...
Ho-Pun Lam, Guido Governatori
AWIC
2011
Springer
12 years 11 months ago
DegExt - A Language-Independent Graph-Based Keyphrase Extractor
Abstract. In this paper, we introduce DegExt, a graph-based languageindependent keyphrase extractor,which extends the keyword extraction method described in [6]. We compare DegExt ...
Marina Litvak, Mark Last, Hen Aizenman, Inbal Gobi...