341 search results - page 35 / 69 » A Declarative Implementation of Planning with Control |
ENTCS
2007
13 years 7 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
ICSOC
2003
Springer
14 years 23 days ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstractā This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efļ¬cient wLAN planning ...
SIGSOFT
1996
ACM
13 years 11 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
AIPS
1998
13 years 9 months ago
1998
Planning methods for deterministic planning problems traditionally exploit factored representations to encode the dynamics of problems in terms of a set of parameters, e.g., the l...