Sciweavers

1891 search results - page 257 / 379
» Constrained Subspace Modelling
Sort
View
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 8 months ago
Time Optimal Control for Quadruped Walking Robots
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
Hisashi Osumi, Shogo Kamiya, Hirokazu Kato, Kazuno...
SRDS
2006
IEEE
15 years 8 months ago
How To Safeguard Your Sensitive Data
In order to safeguard a sensitive database, we must ensure both its privacy and its longevity. However, privacy and longevity tend to be competing objectives. We show how to desig...
Bob Mungamuru, Hector Garcia-Molina, Subhasish Mit...
SAC
2006
ACM
15 years 8 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
15 years 8 months ago
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
Vasco M. Manquinho, João P. Marques Silva
SMA
2005
ACM
119views Solid Modeling» more  SMA 2005»
15 years 8 months ago
Tightening: curvature-limiting morphological simplification
Given a planar set S of arbitrary topology and a radius r, we show how to construct an r-tightening of S, which is a set whose boundary has a radius of curvature everywhere greate...
Jason Williams, Jarek Rossignac