11462 search results - page 369 / 2293 » Developing Application-Centric Methods |
146
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses the issue of developing a motion planning algorithm for a general class of modular mobile robots. A modular mobile robot is essentially a reconfigurable robo...
142
click to vote
FASE
1999
Springer
15 years 9 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
137
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
131
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
When scanning a page with printing on both sides, the printing on the back-side often shows through in the scan of the front-side because the page is not completely opaque. This p...
139
click to vote
VR
2009
IEEE
15 years 11 months ago
2009
IEEE
Trials on the transmission of olfactory information together with audio/visual information are currently underway. However, a problem exists in that continuous emission of scent l...