1128 search results - page 151 / 226 » Classical Natural Deduction |
140
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...
146
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
130
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem of partitioning, in a highly accurate and highly efficient way, a set of n documents lying in a metric space into k non-overlapping clusters. We augment th...
135
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
127
click to vote
CIBCB
2005
IEEE
15 years 9 months ago
2005
IEEE
— Part of the challenge of modeling protein sequences is their discrete nature. Many of the most powerful statistical and learning techniques are applicable to points in a Euclid...