6014 search results - page 1193 / 1203 » Parametric Analysis of Computer Systems |
ACL
1997
13 years 11 months ago
1997
We present preliminary results concerning robust techniques for resolving bridging definite descriptions. We report our analysis of a collection of 20 Wall Street Journal articles...
ACL
1994
13 years 11 months ago
1994
We show that in modeling social interaction, particularly dialogue, the attitude of obligation can be a useful adjunct to the popularly considered attitudes of belief, goal, and i...
Publication
In this paper we describe a vision system for reconstructing the relative structure of snow and ice
surfaces. This effort is one step toward the long-term goal of rendering absol...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
APAL
2010
13 years 10 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...