800 search results - page 55 / 160 » Towards a formalization of budgets |
117
click to vote
ROBOCUP
2004
Springer
15 years 4 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
106
click to vote
JOLLI
2010
14 years 9 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
AAAI
2008
15 years 1 months ago
2008
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...
108
click to vote
CN
1999
14 years 10 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
100
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...