1897 search results - page 122 / 380 » Conditional Linear Planning |
133
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a simple but robust visual tracking algorithm based on representing the appearances of objects using affine warps of learned linear subspaces of the image spac...
150
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
149
click to vote
COCOA
2009
Springer
15 years 9 months ago
2009
Springer
Discovering groups of genes that share common expression profiles is an important problem in DNA microarray analysis. Unfortunately, standard bi-clustering algorithms often fail t...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
126
click to vote
ENTCS
2008
15 years 4 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...