15660 search results - page 319 / 3132 » The Unbalance of Set Systems |
186
Voted
RECOSOC
2007
15 years 9 months ago
2007
—Self-adaptive systems have the ability to adapt themselves to mutating external or internal conditions without requesting any intervention of the user; the security of such syst...
202
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper describes the Online Arabic handwriting recognition competition held at ICDAR 2009. This first competition uses the ADAB-database with Arabic online handwritten words. ...
193
Voted
SOFSEM
2010
Springer
15 years 5 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
218
Voted
STACS
2009
Springer
16 years 2 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
193
click to vote
IFSA
2007
Springer
16 years 1 months ago
2007
Springer
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...