6274 search results - page 668 / 1255 » Proofs, Programs, Processes |
182
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
We formulate parametric curve fitting as a concave cost minimization problem. Our formulation is general encompassing any parametric curve where parameters can be free or constrai...
191
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
306
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
161
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
159
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...