5216 search results - page 950 / 1044 » Planning as Model Checking |
103
click to vote
COR
2007
15 years 3 months ago
2007
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
139
click to vote
JCP
2008
15 years 3 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
166
click to vote
JCP
2008
15 years 3 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
138
click to vote
JCP
2008
15 years 3 months ago
2008
This paper addresses the issue of trajectory tracking control based on a neural network controller for industrial manipulators. A new control scheme is proposed based on neural net...
132
click to vote
JFR
2008
15 years 3 months ago
2008
In this paper, we present an experimental study of strategies for maintaining end-to-end communication links for tasks such as surveillance, reconnaissance, and target search and ...