1287 search results - page 61 / 258 » Reduction of Timed Hybrid Systems |
160
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
146
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
127
click to vote
EOR
2007
15 years 4 months ago
2007
This paper presents a hybrid IP/CP algorithm for designing a double round robin schedule with a minimal number of breaks. Both mirrored and non-mirrored schedules with and without ...
135
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
118
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
We present GAB, a search algorithm for hybrid P2P networks, that is, networks that search using both flooding and a DHT. GAB uses a gossip-style algorithm to collect global statis...