6087 search results - page 808 / 1218 » Knowledge discovery methods |
173
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
169
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
We study the mining of interesting patterns in the presence of numerical attributes. Instead of the usual discretization methods, we propose the use of rank based measures to scor...
168
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
214
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
271
click to vote
ICDCN
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we report our parallel implementations of the Lanczos sparse linear system solving algorithm over large prime fields, on a multi-core platform. We employ several lo...