3007 search results - page 149 / 602 » Linear Functional Fixed-points |
126
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
165
click to vote
CVPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Linear and multi-linear models of object shape/appearance (PCA, 3DMM, AAM/ASM, multilinear tensors) have been very popular in computer vision. In this paper, we analyze the validi...
122
click to vote
ICARCV
2006
IEEE
15 years 9 months ago
2006
IEEE
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...
112
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
The full-custom CMOS realization of a new modular sorting architecture is presented. The high-performance architecture is based on rank ordering, and on efficient implementation o...
130
click to vote
COLT
2006
Springer
15 years 5 months ago
2006
Springer
There are two main families of on-line algorithms depending on whether a relative entropy or a squared Euclidean distance is used as a regularizer. The difference between the two f...