Sciweavers

11949 search results - page 88 / 2390
» Some results on (a:b)-choosability
Sort
View
83
Voted
CORR
2010
Springer
80views Education» more  CORR 2010»
15 years 27 days ago
Fault Diagnosis with Dynamic Observers
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Dynamic observers can switch sensors on or off, thus ...
Franck Cassez, Stavros Tripakis
52
Voted
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 27 days ago
On Infinitary Rational Relations and Borel Sets
Abstract. We prove in this paper that there exists some infinitary rational relations which are 0 3-complete Borel sets and some others which are 0 3-complete. These results give a...
Olivier Finkel
104
Voted
FUIN
2008
81views more  FUIN 2008»
15 years 26 days ago
A Cancellation Theorem for BCCSP
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
113
Voted
ISCI
2006
95views more  ISCI 2006»
15 years 24 days ago
Roughness bounds in rough set operations
This paper presents some roughness bounds for rough set operations. The results show that a bound of the set operation can be determined from their operand's roughnesses. We ...
Yingjie Yang, Robert John
87
Voted
JCT
2006
83views more  JCT 2006»
15 years 23 days ago
The mathematics of Bruce Rothschild
A review is given of some of the mathematical research of Bruce Rothschild, emphasizing his results in combinatorial theory, especially that part known as Ramsey Theory. Special em...
Neil Hindman