2044 search results - page 238 / 409 » System theory for numerical analysis |
146
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
139
click to vote
ICNP
2005
IEEE
15 years 10 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
149
click to vote
ICVS
1999
Springer
15 years 9 months ago
1999
Springer
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...
125
click to vote
PAMI
2008
15 years 4 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
117
click to vote
TROB
2008
15 years 4 months ago
2008
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...