5964 search results - page 1091 / 1193 » A theory of speculative computation |
119
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
96
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
117
click to vote
COLT
2006
Springer
15 years 4 months ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
119
Voted
ALT
1995
Springer
15 years 4 months ago
1995
Springer
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
111
Voted
SWAT
2000
Springer
15 years 4 months ago
2000
Springer
Planar point location is among the most fundamental search problems in computational geometry. Although this problem has been heavily studied from the perspective of worst-case que...