6020 search results - page 192 / 1204 » A New Approach to Model Counting |
254
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
120
Voted
ICDM
2009
IEEE
15 years 11 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...
206
click to vote
WEA
2010
Springer
15 years 11 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...
161
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
130
Voted
ISI
2007
Springer
15 years 10 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...