1167 search results - page 202 / 234 » policy 2007 |
PEPM
2007
ACM
14 years 4 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
PET
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a new attack on the anonymity of web browsing with Tor. The attack tricks a user’s web browser into sending a distinctive signal over the Tor network that ca...
ROBOCUP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
SARA
2007
Springer
14 years 4 months ago
2007
Springer
Multi-robot area coverage poses several research challenges. The challenge of coordinating multiple robots’ actions coupled with the challenge of minimizing the overlap in covera...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Governments often hold very rich data and whilst much of this information is published and available for re-use by others, it is often trapped by poor data structures, lo...