70 search results - page 3 / 14 » Refining the control structure of loops using static analysi... |
92
Voted
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
AI50
2006
15 years 2 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
90
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Many biological networks such as protein-protein interaction networks, signaling networks, and metabolic networks have topological characteristics of a scale-free degr...
107
click to vote
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We investigate the outage behavior of multipleantenna slowly fading channels with resolution constrained feedback and partial power control. A fixed-rate communication...
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...