400 search results - page 26 / 80 » Moving Proofs-As-Programs into Practice |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
In this article, a new Micromanipulator System (MMS-II) for middle ear surgery is presented. The purpose of this work was to develop a simple but effective manipulator that would e...
TSMC
2010
13 years 2 months ago
2010
In this paper, we present two near-optimal methods to determine the real-time collision-free path for a mobile vehicle moving in a dynamically changing environment. The proposed de...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
This paper presents computationally and physically augmented desktop objects - “Things that hover” - that is capable of moving autonomously on desktop, and discusses about tec...
AAAI
2011
12 years 7 months ago
2011
Suppose an unpredictable evader is free to move around in a polygonal environment of arbitrary complexity that is under full camera surveillance. How many pursuers, each with the ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Despite a growing body of research on knowledge management (KM) systems, many managers are still unsure how they can implement a KM system that will effectively contribut...