3307 search results - page 523 / 662 » The meaning of concurrent programs |
157
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
181
click to vote
IADIS
2004
15 years 7 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
142
click to vote
ACE
2003
15 years 7 months ago
2003
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...
153
click to vote
WSC
2004
15 years 7 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
184
click to vote
WSCG
2001
15 years 7 months ago
2001
In this paper we report on using Common Object Request Broker Architecture (CORBA) middleware as a means of supporting the rapid development of Distributed Virtual Environment (DV...