16518 search results - page 382 / 3304 » A New Approach to Splitting-Off |
176
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
152
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Eigenvalue analysis is an important aspect in many data modeling methods. Unfortunately, the eigenvalues of the sample covariance matrix (sample eigenvalues) are biased estimate...
246
click to vote
WEA
2010
Springer
16 years 1 months ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
185
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
170
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...