4340 search results - page 458 / 868 » Formal Methods and Cryptography |
168
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
154
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
148
click to vote
QSIC
2005
IEEE
16 years 11 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
193
click to vote
ICDM
2003
IEEE
16 years 2 days ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...
165
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...