10910 search results - page 257 / 2182 » Input modeling using a computer algebra system |
135
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
190
click to vote
JOT
2010
15 years 4 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
169
click to vote
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
3D human pose recovery is considered as a fundamental step in view-invariant human action recognition. However, inferring 3D poses from a single view usually is slow due to the la...
179
Voted
CDC
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract-- Many tracking problems are split into two subproblems, first a smooth reference trajectory is generated that meet the control design objectives, and then a closed loop c...
180
click to vote
COMSIS
2010
15 years 3 months ago
2010
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...