5216 search results - page 229 / 1044 » Planning as Model Checking |
136
click to vote
SPLC
2004
15 years 5 months ago
2004
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
156
click to vote
AIPS
2007
15 years 6 months ago
2007
This paper summarizes research on a new emerging framework for learning to plan using the Markov decision process model (MDP). In this paradigm, two approaches to learning to plan...
136
click to vote
AIPS
2008
15 years 6 months ago
2008
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
143
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
139
click to vote
DESRIST
2010
Springer
15 years 9 months ago
2010
Springer
Enterprise architecture (EA) describes the fundamental structure of an organization from business to IT. EA as a practice as well as a research topic has been around for several ye...