1010 search results - page 4 / 202 » Logics for Contravariant Simulations |
104
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
102
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
99
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
115
click to vote
IANDC
2006
15 years 1 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
139
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...