6120 search results - page 108 / 1224 » The Power of Linear Functions |
156
Voted
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
174
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
141
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
— We present a precoded reduced-complexity soft detection (PRCSD) algorithm for spatial multiplexing systems. The linear operations at both transmit and receive sides based on co...
198
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a two-step methodology for improving the discriminatory power of Linear Discriminant Analysis (LDA) for video-based human face recognition. Results indicate th...
130
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The mixed-signal processor performs digital vectormatrix multiplication using internally analog fine-grain parallel computing. The three-transistor CID/DRAM unit cell ...