6693 search results - page 101 / 1339 » On an anytime algorithm for control |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
ACL
1994
13 years 10 months ago
1994
We present an efficient procedure for cost-based abduction, which is based on the idea of using chart parsers as proof procedures. We discuss in detail three features of our algor...
EUSFLAT
2003
13 years 10 months ago
2003
We present here a co-operative multithread metaheuristic. Each thread employs a (possibly) different optimization strategy and they are controlled by a Coordinator process. A rel...
HPDC
1995
IEEE
14 years 26 days ago
1995
IEEE
Most algorithms proposed for controlling traffic prior to entering ATM networks are based on static mechanisms. Such static control mechanisms do not account for the dynamics of ...
SODA
1998
ACM
13 years 10 months ago
1998
ACM
We consider the problem of on-line call admission and routing on trees and meshes. Previous work gave randomized on-line algorithms for these problems and proved that they have opt...