2173 search results - page 300 / 435 » On the Values of Reducibility Candidates |
165
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
156
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
In this paper we present a method for clustering SAGE (Serial Analysis of Gene Expression) data to detect similarities and dissimilarities between different types of cancer on the...
184
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
Logarithmic Number Systems (LNS) offer a viable alternative in terms of area, delay and power to binary number systems for multiplication and division operations in signal process...
146
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Hardware counters are a fundamental building block of modern high-performance processors. This paper explores two applications of probabilistic counter updates, in which the outpu...
156
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The small size of handheld computers provides the convenience of mobility at the expense of reduced screen space for display and interaction. Prior research [5, 6] has identified ...