9405 search results - page 985 / 1881 » Computing a Model of Set Theory |
187
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
199
click to vote
VVS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described. The implementation,...
246
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
216
click to vote
IJCAI
2007
15 years 9 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
213
click to vote
ACL
1992
15 years 8 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...