5830 search results - page 149 / 1166 » Automatic link generation |
176
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Accurate system planning and performance evaluation requires knowledge of the joint impact of scheduling, interference, and fading. However, current analyses either require costly...
142
Voted
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
158
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper discusses jumping pattern generation for a serial link robot in order to maximize its jump height under torque limitation. By applying a genetic algorithm (GA) for d...
128
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...