5851 search results - page 176 / 1171 » Coordination as a Direct Process |
177
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
153
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
151
click to vote
COLING
2000
15 years 7 months ago
2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...
234
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
200
click to vote
CLIMA
2004
15 years 7 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...