327 search results - page 20 / 66 » A Theory of Information-Flow Labels |
151
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...
141
click to vote
CALCO
2009
Springer
16 years 16 days ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
140
click to vote
CONCUR
2007
Springer
16 years 4 days ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
143
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
162
click to vote
PCI
2001
Springer
15 years 10 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...