220 search results - page 31 / 44 » Using Difference Reduction for Generic Proof Search |
ICS
2010
Tsinghua U.
14 years 12 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...
102
click to vote
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
101
click to vote
DLS
2005
14 years 11 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we measure the responses of image patches, used as filters, on different image ensembles and examine how the responses are affected by reducing the resolution of th...
109
click to vote
ANSS
2007
IEEE
15 years 3 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...