5350 search results - page 765 / 1070 » Space and time in eco-ontologies |
161
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We are interested in building and evaluating human computer interfaces that make information more memorable. Psychology research informs us that humans access memories through cue...
158
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Contemporary inferences about evolution occasionally involve analyzing infinitely large feature spaces, requiring specific algorithmic techniques. We consider parsimony a...
169
Voted
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
153
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
166
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We investigate the design of algorithms resilient to memory faults, i.e., algorithms that, despite the corruption of some memory values during their execution, are able to produce...