2452 search results - page 161 / 491 » On Reduction of Lagrange Systems |
172
click to vote
CIE
2007
Springer
16 years 1 months 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...
181
Voted
CONTEXT
2007
Springer
16 years 1 months 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 ...
208
click to vote
CCECE
2006
IEEE
16 years 1 months 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...
167
Voted
DATE
2005
IEEE
16 years 17 days 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...
189
click to vote
ISPA
2004
Springer
16 years 10 days 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...