15754 search results - page 2884 / 3151 » Programs are Knowledge Bases |
252
click to vote
TVLSI
2010
15 years 1 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
235
click to vote
CORR
2011
Springer
14 years 11 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...
208
click to vote
CORR
2011
Springer
14 years 11 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...
228
click to vote
CORR
2011
Springer
14 years 11 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 ...
290
click to vote
CVPR
2011
IEEE
14 years 11 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...