1604 search results - page 236 / 321 » Development Separation in Lambda-Calculus |
134
Voted
FOCS
2008
IEEE
15 years 4 months ago
2008
IEEE
The nested dissection method developed by Lipton, Rose, and Tarjan is a seminal method for quickly performing Gaussian elimination of symmetric real positive definite matrices who...
120
click to vote
AES
2007
Springer
15 years 4 months ago
2007
Springer
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
123
click to vote
AO
2007
15 years 4 months ago
2007
Role is a commonly used concept in software development, but a concept with divergent definitions. This paper discusses the characteristics of roles in software organizations, and...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Linear receivers are often used to reduce the implementation complexity of multiple antenna systems. In a traditional linear receiver architecture, the receive antennas a...