5451 search results - page 1026 / 1091 » Typed Operational Semantics |
125
click to vote
AIPS
2008
15 years 4 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
120
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
116
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
118
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
This paper considers DoS attacks on DNS wherein attackers flood the nameservers of a zone to disrupt resolution of resource records belonging to the zone and consequently, any of ...
170
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...