392 search results - page 43 / 79 » Negation as Partial Failure |
ITCC
2002
IEEE
14 years 19 days ago
2002
IEEE
After the failure of copy prevention methods, watermarking stays the main technical safeguard of electronic copyright. There are many properties that a watermarking scheme should ...
APSEC
1995
IEEE
13 years 11 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
ACL
2003
13 years 9 months ago
2003
This paper presents a new bottom-up chart parsing algorithm for Prolog along with a compilation procedure that reduces the amount of copying at run-time to a constant number (2) p...
COLING
1994
13 years 9 months ago
1994
This pat)er t)resents some techniques for selecting linguistically adequate hypol;heses of new grammat.foal knowledge to be used as resources of gralmnatical knowledge acquisition...
ENTCS
2007
13 years 7 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...