5216 search results - page 708 / 1044 » Planning as Model Checking |
161
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
164
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...
173
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
An early prediction of resource utilization and its impact on system performance and reliability can reduce the overall system cost, by allowing early correction of detected probl...
137
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Students whose professional qualifications are gained through work placement-based learning are assessed as to their competency to carryout tasks. These students are usually suppo...
212
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Prior work has shown that network capacity efficiency decreases significantly as a network’s topology becomes sparse. Meta-mesh restoration was proposed in prior work as a me...