386 search results - page 9 / 78 » A Consistent Semantics of Self-adjusting Computation |
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
111
click to vote
SAC
2011
ACM
14 years 19 days ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
106
click to vote
COMMA
2010
14 years 4 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
DAIS
2009
14 years 7 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we propose a conceptual architecture for a personal semantic Web information retrieval system. It incorporates semantic Web, Web service, P2P and multi-agent technol...