5216 search results - page 371 / 1044 » Planning as Model Checking |
139
click to vote
4OR
2004
15 years 6 months ago
2004
This text summarises the PhD thesis that Roel Leus presented to obtain the degree of Doctor in Applied Economics at the Katholieke Universiteit Leuven, in September 2003. The promo...
107
click to vote
JCSS
1998
15 years 5 months ago
1998
d Abstract) LYDIA E. KAVRAKI JEAN-CLAUDE LATOMBE RAJEEV MOTWANI ¡ PRABHAKAR RAGHAVAN ¢ The subject of this paper is the analysis of a randomized preprocessing scheme that ...
194
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
In this paper, a neuro-fuzzy algorithm has been implemented to improve the path planning of a mobile robot based on modification of vector field histogram (VFH) approach using neu...
175
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...
164
Voted
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...