3831 search results - page 622 / 767 » Dynamic Context Logic |
133
click to vote
ICCAD
2001
IEEE
16 years 20 days 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 ...
134
Voted
IUI
2009
ACM
16 years 20 days 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...
110
click to vote
IUI
2009
ACM
16 years 20 days 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...
126
Voted
CGO
2010
IEEE
15 years 10 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...
149
Voted
PDP
2010
IEEE
15 years 10 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 ...