1027 search results - page 174 / 206 » Representing and Reasoning with Operational Semantics |
113
click to vote
IJCAI
1997
15 years 1 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...
112
Voted
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
106
click to vote
USENIX
1990
15 years 1 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
119
click to vote
IACR
2011
14 years 7 days ago
2011
Abstract. Homomorphic encryption schemes are powerful cryptographic primitives that allow for a variety of applications. Consequently, a variety of proposals have been made in the ...
131
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...