850 search results - page 135 / 170 » Constraint propagation on quadratic constraints |
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...
CVPR
2010
IEEE
2010
IEEE
Simultaneous surveillance camera calibration and foot-head homology estimation from human detections
14 years 1 months ago
We propose a novel method for automatic camera calibration and foot-head homology estimation by observing persons standing at several positions in the camera field of view. We de...
CIS
2005
Springer
14 years 1 months ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
ICRA
2002
IEEE
14 years 16 days ago
2002
IEEE
— Closed-loop, asymptotically stable walking motions are designed for a 5-link, planar bipedal robot model with one degree of underactuation. Parameter optimization is applied to...