7820 search results - page 1239 / 1564 » Formalization of Time and Space |
132
Voted
CHI
2002
ACM
16 years 7 months ago
2002
ACM
In this paper we describe an evaluation of behavioral descriptors generated from an analysis of a large collection of Usenet newsgroup messages. The metrics describe aspects of ne...
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...
159
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...
170
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...