Sciweavers

293 search results - page 39 / 59
» Computing Stable Models by Using the ATMS
Sort
View
QEST
2006
IEEE
14 years 2 months ago
Continuous Bytecode Instruction Counting for CPU Consumption Estimation
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
Andrea Camesi, Jarle Hulaas, Walter Binder
CVPR
2010
IEEE
2248views Computer Vision» more  CVPR 2010»
14 years 4 months ago
Morphological Snakes
We introduce a morphological approach to curve evolution. The differential operators used in the standard PDE snake models can be approached using morphological operations...
Luis Álvarez, Luis Baumela, Pedro Henríquez, Pab...
ICRA
2005
IEEE
119views Robotics» more  ICRA 2005»
14 years 2 months ago
Synthesis of Controllers for Stylized Planar Bipedal Walking
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
Dana Sharon, Michiel van de Panne
ICCV
2009
IEEE
13 years 6 months ago
An algebraic model for fast corner detection
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
Andrew Willis, Yunfeng Sui
CORR
2008
Springer
234views Education» more  CORR 2008»
13 years 8 months ago
Bayesian Compressive Sensing via Belief Propagation
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
Dror Baron, Shriram Sarvotham, Richard G. Baraniuk