Sciweavers

499 search results - page 26 / 100
» Why neighbor-joining works
Sort
View
GECCO
2011
Springer
256views Optimization» more  GECCO 2011»
13 years 1 months ago
Evolving complete robots with CPPN-NEAT: the utility of recurrent connections
This paper extends prior work using Compositional Pattern Producing Networks (CPPNs) as a generative encoding for the purpose of simultaneously evolving robot morphology and contr...
Joshua E. Auerbach, Josh C. Bongard
IACR
2011
147views more  IACR 2011»
12 years 9 months ago
Adaptive Security of Concurrent Non-Malleable Zero-Knowledge
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
Zhenfu Cao, Zongyang Zhang, Yunlei Zhao
FASE
2012
Springer
12 years 5 months ago
Cohesive and Isolated Development with Branches
The adoption of distributed version control (DVC), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC?...
Earl T. Barr, Christian Bird, Peter C. Rigby, Abra...
VLDB
2004
ACM
80views Database» more  VLDB 2004»
14 years 3 months ago
The Case for Precision Sharing
Sharing has emerged as a key idea of static and adaptive stream query processing systems. Inherent in these systems is a tension between sharing common work and avoiding unnecessa...
Sailesh Krishnamurthy, Michael J. Franklin, Joseph...
MICRO
2000
IEEE
68views Hardware» more  MICRO 2000»
14 years 2 months ago
Efficient checker processor design
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
Saugata Chatterjee, Christopher T. Weaver, Todd M....