Sciweavers

2958 search results - page 82 / 592
» Extending and Implementing RASP
Sort
View
FPCA
1995
15 years 6 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
95
Voted
ACMICEC
2008
ACM
228views ECommerce» more  ACMICEC 2008»
15 years 4 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...
121
Voted
DLOG
2004
15 years 4 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
135
Voted
RULEML
2010
Springer
15 years 1 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
212
Voted
AWIC
2011
Springer
14 years 6 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...