7988 search results - page 1108 / 1598 » A Useful Undecidable Theory |
230
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
187
click to vote
ASSETS
2005
ACM
15 years 9 months ago
2005
ACM
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
191
click to vote
COCO
2008
Springer
15 years 9 months ago
2008
Springer
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
223
click to vote
COMPGEOM
2008
ACM
15 years 9 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
183
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...