475 search results - page 65 / 95 » Delft-Java Dynamic Translation |
ICCV
2005
IEEE
15 years 1 months ago
2005
IEEE
A method for detecting and segmenting periodic motion is presented. We exploit periodicity as a cue and detect periodic motion in complex scenes where common methods for motion se...
ICFP
2007
ACM
14 years 11 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...
ISCA
2008
IEEE
14 years 5 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...