1397 search results - page 166 / 280 » On the Need for Practical Formal Methods |
136
Voted
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
138
click to vote
HICSS
1995
IEEE
15 years 8 months ago
1995
IEEE
The computing community has long faced the problem of scientifically comparing different computers and different algorithms. When architecture, method, precision, or storage capac...
155
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
The Field Programmable Compressor Tree (FPCT) is a programmable compressor tree (e.g., a Wallace or Dadda Tree) intended for integration in an FPGA or other reconfigurable device....
137
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
129
click to vote
BIOINFORMATICS
2006
15 years 4 months ago
2006
Motivation: The need for normalization in microarray experiments has been well documented in the literature. Currently, most analysis methods treat normalization and analysis as a...