3799 search results - page 700 / 760 » An Engineering Approach to Formal Methods |
162
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
137
click to vote
TNN
2011
14 years 11 months ago
2011
Abstract—Most signal processing problems involve the challenging task of multidimensional probability density function (PDF) estimation. In this paper, we propose a solution to t...
139
Voted
JMLR
2010
14 years 11 months ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...
131
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...
136
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...