70 search results - page 1 / 14 » Better Quasi-Ordered Transition Systems |
CORR
2004
Springer
13 years 4 months ago
2004
Springer
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
CDC
2010
IEEE
12 years 8 months ago
2010
IEEE
— Preview Control design is proposed in order to reduce the settling time of Dual-Stage Actuators (DSA’s). It is shown that a significantly better performance is achieved by e...
KDD
2012
ACM
11 years 7 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...