2452 search results - page 161 / 491 » On Reduction of Lagrange Systems |
147
click to vote
CIE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
162
click to vote
CONTEXT
2007
Springer
16 years 8 days ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
193
click to vote
CCECE
2006
IEEE
16 years 4 days ago
2006
IEEE
Multiuser detection (MUD) techniques are known to improve the performance of CDMA cellular communication systems. This performance improvement usually comes at a large computation...
148
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract—On a commercial digital still camera (DSC) controller chip we practice a novel SOC test integration platform, solving real problems in test scheduling, test IO reduction...
171
Voted
ISPA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an efficient parallel algorithm for volume rendering of large-scale datasets. Our algorithm focuses on an optimization technique, namely early ray te...