5216 search results - page 464 / 1044 » Planning as Model Checking |
171
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
201
Voted
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
161
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
161
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
186
click to vote
IRCDL
2008
15 years 8 months ago
2008
This paper discusses some issues related to the planning of a series of grid experiments in the context of the TrebleCLEF project with the aim of improving the comprehension of Mul...