3994 search results - page 611 / 799 » A Linear Logical Framework |
167
click to vote
MFCS
2007
Springer
16 years 1 months ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
166
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
182
click to vote
METRICS
2005
IEEE
16 years 20 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
192
Voted
AUSAI
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Principal Component Analysis (PCA) plus Linear Discriminant Analysis (LDA) (PCA+LDA) and LDA/QR are both two-stage methods that deal with the small sample size (SSS) prob...
174
click to vote
CGO
2003
IEEE
16 years 11 days ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...