Sciweavers

327 search results - page 30 / 66
» A Theory of Information-Flow Labels
Sort
View
IAT
2010
IEEE
14 years 7 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
15 years 10 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
85
Voted
LICS
2005
IEEE
15 years 3 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 2 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 1 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