15783 search results - page 585 / 3157 » Evidence-Based Software Engineering |
177
click to vote
APPML
2011
15 years 2 months ago
2011
In this article we present a model of insect infestation of grape vines and consider the optimal control of the pest through the use of egg pesticides. We show existence and uniqu...
223
click to vote
AROBOTS
2011
15 years 2 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
210
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...