288 search results - page 36 / 58 » Interactive Termination Proofs Using Termination Cores |
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...
MOMM
2006
ACM
15 years 3 months ago
2006
ACM
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
89
Voted
PERSUASIVE
2010
Springer
14 years 8 months ago
2010
Springer
The primary challenge for information terminals, kiosks, and incidental use systems of all sorts, is that of getting the “first click” from busy passersby. This paper presents ...
SIGIR
2011
ACM
14 years 9 days ago
2011
ACM
We consider an interactive information retrieval task in which the user is interested in finding several to many relevant documents with minimal effort. Given an initial documen...
101
click to vote
BMCBI
2010
14 years 4 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...