Sciweavers

327 search results - page 30 / 66
» A Theory of Information-Flow Labels
Sort
View
271
Voted
IAT
2010
IEEE
15 years 3 months ago
Concept Learning Games: The Game of Query and Response
Abstract--This article deals with the issue of concept learning and tries to have a game theoretic view over the process of cooperative concept learning among agents in a multi-age...
Nima Mirbakhsh, Arman Didandeh, Mohsen Afsharchi
SIGSOFT
2007
ACM
16 years 6 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
LICS
2005
IEEE
15 years 11 months ago
Reactive Systems over Cospans
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
Vladimiro Sassone, Pawel Sobocinski
FOSSACS
2003
Springer
15 years 11 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
ECCV
1994
Springer
15 years 10 months ago
Markov Random Field Models in Computer Vision
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...
Stan Z. Li