Sciweavers

9626 search results - page 230 / 1926
» Invariant Based Programming
Sort
View
TCAD
2008
136views more  TCAD 2008»
15 years 6 months ago
A Geometric Programming-Based Worst Case Gate Sizing Method Incorporating Spatial Correlation
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
Jaskirat Singh, Zhi-Quan Luo, Sachin S. Sapatnekar
CVPR
2000
IEEE
16 years 8 months ago
Improved Motion Stereo Matching Based on a Modified Dynamic Programming
A new method for computing precise depth map estimates of 3D shape of a moving object is proposed. 3D shape recovery in motion stereo is formulated as a matching optimization prob...
Mikhail Mozerov, Vitaly Kober, Tae-Sun Choi
VL
2006
IEEE
16 years 15 days ago
A Visual Language for Programming Reality-Based Interaction
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
Orit Shaer, Robert J. K. Jacob
ICDCSW
2002
IEEE
15 years 11 months ago
Taxonomy of Distributed Event-Based Programming Systems
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
René Meier, Vinny Cahill
SEAL
1998
Springer
15 years 10 months ago
Evolutionary Programming-Based Uni-vector Field Method for Fast Mobile Robot Navigation
Most of the obstacle avoidance techniques do not consider the robot orientation or its nal angle at the target position. These techniques deal with the robot position only and are ...
Yong-Jae Kim, Dong-Han Kim, Jong-Hwan Kim