73 search results - page 5 / 15 » A Generalized Class of T-norms From a Categorical Point of V... |
IANDC
2006
13 years 7 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
IADIS
2008
13 years 9 months ago
2008
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
EKAW
2004
Springer
14 years 28 days ago
2004
Springer
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
CSL
2010
Springer
13 years 7 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...