12841 search results - page 2446 / 2569 » PL-detective: experiences and results |
181
click to vote
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
176
click to vote
WCE
2007
15 years 7 months ago
2007
— Multimedia applications require high bandwidth in order to assure certain level of Quality of Service (QoS). It is well known that the characteristics of the traffic for multim...
174
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Image invariants are those properties of the images of an object that remain unchanged with change in camera parameters, illumination etc. In this paper, we derive an image invari...
204
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...