5015 search results - page 848 / 1003 » Model Checking a Path |
116
click to vote
IJRR
2008
15 years 2 months ago
2008
This paper deals with minimum time trajectory optimization along a specified path subject to thermal constraints. We point out here that robots are often integrated in complex rob...
137
click to vote
JSW
2008
15 years 2 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
109
Voted
SIAMSC
2008
15 years 2 months ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
140
click to vote
IJRR
2007
15 years 2 months ago
2007
An algorithm is presented for wheeled mobile robot trajectory generation that achieves a high degree of generality and efficiency. The generality derives from numerical lineariza...
122
click to vote
TCAD
2008
15 years 2 months ago
2008
Starting at the 65-nm node, stress engineering to improve the performance of transistors has been a major industry focus. An intrinsic stress source--shallow trench isolation (STI)...