2887 search results - page 179 / 578 » Name Generation and Linearity |
167
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
186
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
159
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
205
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...
176
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Minimizing power consumption is one of the most important objectives in IC design. Resizing gates and assigning different Vt’s are common ways to meet power and timing budgets. ...