1398 search results - page 147 / 280 » Ensuring Properties of Interaction Systems |
197
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
172
click to vote
CSL
2007
Springer
16 years 16 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
174
click to vote
HAPTICS
2005
IEEE
15 years 12 months ago
2005
IEEE
The Fingertip Haptic Display (FHD) is a five bar mechanism developed at the University of Washington for haptic interaction with the fingertip of the operator. The twodegree-of-...
210
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
180
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we introduce a new approach to controlling error in hierarchical clustering algorithms for radiosity. The new method ensures that just enough work is done to meet th...