3831 search results - page 622 / 767 » Dynamic Context Logic |
105
click to vote
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
104
click to vote
IUI
2009
ACM
15 years 9 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
104
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
114
click to vote
PDP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—This paper proposes a strategy to organize metricspace query processing in multi-core search nodes as understood in the context of search engines running on clusters of ...