4719 search results - page 257 / 944 » Newtonian program analysis |
156
click to vote
ICDM
2009
IEEE
16 years 15 days ago
2009
IEEE
—We consider the problem of learning a linear combination of pre-specified kernel matrices in the Fisher discriminant analysis setting. Existing methods for such a task impose a...
172
click to vote
AMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
167
click to vote
EUC
2008
Springer
15 years 7 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
132
click to vote
SIAMMAX
2010
15 years 17 days ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
205
click to vote
CSL
2007
Springer
16 years 14 hour ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...