915 search results - page 75 / 183 » Maximally Abstract Retrenchments |
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—This paper proposes a new differential super-quasiorthogonal space-time trellis codes (SQOSTTC) with singlesymbol maximum-likelihood (ML) decoding. Firstly, a new joint ...
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes a novel and efficient feature-point matching algorithm for finding point correspondences between two uncalibrated images. The striking feature of th...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
DIS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This chapter describes how we used regression rules to improve upon results previously published in the Earth science literature. In such a scientific application of mac...