Sciweavers

3235 search results - page 443 / 647
» Partial Redundant Modeling
Sort
View
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 7 months ago
2D bipedal walking with knees and feet: A hybrid control approach
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
Ryan W. Sinnet, Aaron D. Ames
SGP
2007
15 years 6 months ago
Symmetry-enhanced remeshing of surfaces
While existing methods for 3D surface approximation use local geometric properties, we propose that more intuitive results can be obtained by considering global shape properties s...
Joshua Podolak, Aleksey Golovinskiy, Szymon Rusink...
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
15 years 6 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...
CVPR
2005
IEEE
15 years 6 months ago
A Two-Stage Level Set Evolution Scheme for Man-Made Objects Detection in Aerial Images
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...
Guo Cao, Xin Yang, Zhihong Mao
CIE
2010
Springer
15 years 5 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin