3161 search results - page 15 / 633 » Hybrid results merging |
WAIM
2007
Springer
15 years 3 months ago
2007
Springer
Terms used in search queries often have multiple meanings. Consequently, search results corresponding to different meanings may be retrieved, making identifying relevant results in...
HYBRID
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
ACTA
2007
14 years 9 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
SIP
2007
14 years 11 months ago
2007
This paper proposes to incorporate boundary curvature ratio, region homogeneity and boundary smoothness into a single new merging criterion to improve the oversegmentation of mark...