3108 search results - page 150 / 622 » The Elements of Computer Credibility |
147
click to vote
SIPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Motivated by the need for high throughput sphere decoding for multipleinput-multiple-output (MIMO) communication systems, we propose a parallel depth-first sphere decoding (PDSD)...
185
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
145
click to vote
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel camera network design methodology based on the Parisian approach to evolutionary computation. The problem is partitioned into a set of homogeneous elements, whos...
120
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we explore the application of formal elements of games such as goals and scores to information graphics−so called “game-y” information graphics. In order to st...