Sciweavers

2125 search results - page 218 / 425
» Points with Type-2 Operations
Sort
View
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
14 years 11 months ago
PD+ attitude control of rigid bodies with improved performance
Abstract-- We address the problem of state feedback attitude control of a rigid body in quaternion coordinate space through a modified PD+ tracking controller. The control law ensu...
Rune Schlanbusch, Antonio Loría, Raymond Kr...
CORR
2011
Springer
137views Education» more  CORR 2011»
14 years 11 months ago
Existential witness extraction in classical realizability and via a negative translation
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
Alexandre Miquel
TIFS
2011
259views Education» more  TIFS 2011»
14 years 11 months ago
Periocular Biometrics in the Visible Spectrum
— Periocular biometric refers to the facial region in the immediate vicinity of the eye. Acquisition of the periocular biometric does not require high user cooperation and close ...
Unsang Park, Raghavender R. Jillela, Arun Ross, An...
PVLDB
2010
116views more  PVLDB 2010»
14 years 10 months ago
Computing Closed Skycubes
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...
Chedy Raïssi, Jian Pei, Thomas Kister
TASE
2010
IEEE
14 years 10 months ago
Sensor Placement for Triangulation-Based Localization
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
Onur Tekdas, Volkan Isler