9626 search results - page 1757 / 1926 » Invariant Based Programming |
154
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
130
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
140
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
188
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
142
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Applied digital signal processing courses offered at many universities do not normally include FPGA implementation of signal processing algorithms. This is due to the fact that st...