14403 search results - page 127 / 2881 » Dynamical Systems Trees |
150
click to vote
COMGEO
2012
ACM
13 years 12 months ago
2012
ACM
A straight-line drawing of a plane graph G is a planar drawing of G, where each vertex is drawn as a point and each edge is drawn as a straight line segment. Given a set S of n poi...
158
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
135
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
148
click to vote
EPIA
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
161
click to vote
INFSOF
2002
15 years 3 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...