2490 search results - page 381 / 498 » Complexity of Contextual Reasoning |
143
click to vote
CRYPTO
2008
Springer
15 years 5 months ago
2008
Springer
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
132
click to vote
CRITIS
2007
15 years 5 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
130
click to vote
AGI
2008
15 years 5 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
127
click to vote
CATS
2007
15 years 5 months ago
2007
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
130
Voted
ISEMANTICS
2010
15 years 5 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...