642 search results - page 77 / 129 » Once Upon a Type |
113
click to vote
RECOMB
2003
Springer
16 years 3 months ago
2003
Springer
The correct interpretation of tandem mass spectra is a difficult problem, even when it is limited to scoring peptides against a database. De novo sequencing is considerably harder...
129
click to vote
ICCAD
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
130
Voted
CSCW
2010
ACM
16 years 13 days ago
2010
ACM
Synchronous groupware depends on the assumption that people are fully connected to the others in the group, but there are many situations (network delay, network outage, or explic...
142
click to vote
WADS
2009
Springer
15 years 10 months ago
2009
Springer
We present a succinct representation of a set of n points on an n × n grid using n lg n + o(n lg n) bits3 to support orthogonal range counting in O(lg n/ lg lg n) time, and range ...
122
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...