6274 search results - page 1184 / 1255 » From query complexity to computational complexity |
137
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...
128
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
129
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...
159
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
147
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...