3804 search results - page 559 / 761 » interactions 2008 |
156
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
186
click to vote
STTT
2008
15 years 6 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
193
click to vote
IJRR
2007
15 years 6 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...
162
click to vote
IJRR
2007
15 years 6 months ago
2007
Abstract— In this paper, we present an algorithm for autonomous stair climbing with a tracked vehicle. The proposed method achieves robust performance under real-world conditions...
163
click to vote
IJVR
2007
15 years 6 months ago
2007
—Interactive and realistic rendering of forest is a challenge due to a huge amount of tiny geometric detail. We present an approach to construct continuous level of detail (LOD) ...