1128 search results - page 151 / 226 » Classical Natural Deduction |
107
click to vote
FOCS
2006
IEEE
15 years 6 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...
119
click to vote
IAT
2006
IEEE
15 years 6 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...
SAC
2006
ACM
15 years 6 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...
104
click to vote
UIST
2006
ACM
15 years 6 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...
98
Voted
CIBCB
2005
IEEE
15 years 6 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...