1716 search results - page 291 / 344 » Proving Conditional Termination |
101
Voted
TWC
2008
15 years 20 days ago
2008
This paper analyzes distributed asynchronous power and rate control for wireless ad hoc networks. Importantly, all network transmitters are considered to be independent of any mana...
103
click to vote
SIAMCO
2000
15 years 16 days ago
2000
We study the asymptotic behavior at infinity of solutions of a second order evolution equation with linear damping and convex potential. The differential system is defined in a rea...
109
Voted
DM
1998
15 years 13 days ago
1998
We consider edge-coloured multigraphs. A trail in such a multigraph is alternating if its successive edges differ in colour. Let G be a 2-edge-coloured complete graph and let M b...
93
Voted
JIRS
1998
15 years 13 days ago
1998
After a brief review of the current research on multi-robot systems, the paper presents a path planning and control scheme for a cooperative three-robot system transferring/manipul...
116
Voted
ML
2002
ACM
15 years 13 days ago
2002
ACM
We examine methods for constructing regression ensembles based on a linear program (LP). The ensemble regression function consists of linear combinations of base hypotheses generat...