2344 search results - page 56 / 469 » Dynamic Measurement of Polymorphism |
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
100
click to vote
PTS
2010
14 years 9 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
Many studies have now shown that it is possible to recognize people by the way they walk. As yet there has been little formal study of people recognition using the kinematic-relat...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
116
click to vote
EJWCN
2010
14 years 6 months ago
2010
Abstract--The multipath components of super-wideband (217.2 GHz) non line of sight channel responses measured inside several buildings are stable along sections that are 27 cm long...