Sciweavers

1699 search results - page 171 / 340
» A timed semantics of Orc
Sort
View
CORR
2010
Springer
74views Education» more  CORR 2010»
13 years 8 months ago
RAFDA: Middleware Supporting the Separation of Application Logic from Distribution Policy
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
Alan Dearle, Scott M. Walker, Stuart J. Norcross, ...
JAPLL
2008
121views more  JAPLL 2008»
13 years 8 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
JAIR
2006
110views more  JAIR 2006»
13 years 8 months ago
Modelling Mixed Discrete-Continuous Domains for Planning
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
Maria Fox, Derek Long
JASIS
2006
84views more  JASIS 2006»
13 years 8 months ago
A "stereo" document representation for textual information retrieval
Encouraged by a significant improvement over LSI (latent semantic indexing) approach in textual information retrieval of the DLSI (differential latent semantic indexing) approach ...
Liang Chen, Jia Zeng, Naoyuki Tokuda
ENTCS
2007
126views more  ENTCS 2007»
13 years 8 months ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari