Sciweavers

8446 search results - page 1154 / 1690
» A Process Compensation Language
Sort
View
LREC
2010
513views Education» more  LREC 2010»
15 years 8 months ago
Al - Khalil : The Arabic Linguistic Ontology Project
We present in this paper our project to building an ontology centered infrastructure for Arabic resources and applications. The core of this infrastructure is a linguistic ontolog...
Hassina Aliane, Zaia Alimazighi, Ahmed Cherif Maza...
IS
2007
15 years 7 months ago
Aldat: A retrospective on a work in progress
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
T. H. Merrett
ENTCS
2002
108views more  ENTCS 2002»
15 years 6 months ago
Rewriting in the partial algebra of typed terms modulo AC
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
Thomas Colcombet
IJIS
2002
86views more  IJIS 2002»
15 years 6 months ago
Dynamics and control in component-based agent models
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
LISP
2002
81views more  LISP 2002»
15 years 6 months ago
Linear Continuation-Passing
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hay...
« Prev « First page 1154 / 1690 Last » Next »