5216 search results - page 811 / 1044 » Planning as Model Checking |
164
click to vote
ICECCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
156
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on...
183
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
The ability to locate promoters within a section of DNA is known to be a very difficult and very important task in DNA analysis. We document an approach that incorporates the conce...
170
click to vote
AIPS
2008
15 years 8 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
153
click to vote
WSC
2008
15 years 8 months ago
2008
Research in parallel simulation has been around for more than two decades. However, the number of papers reporting on its application to real world problems is limited. At the 200...