626 search results - page 5 / 126 » Satisfying Maintenance Goals |
NOMS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...
CA
2003
IEEE
14 years 7 days ago
2003
IEEE
This research explores ways of harnessing people’s passion for entertainment in order to stimulate players to attain the meta-learning skills they need for lifelong learning and...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
LOGCOM
2011
12 years 9 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
ACSC
2002
IEEE
13 years 12 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...