Sciweavers

4209 search results - page 57 / 842
» Abstract Dialectical Frameworks
Sort
View
FUIN
2008
93views more  FUIN 2008»
14 years 10 months ago
An Algebraic Framework for Defining Random Concurrent Behaviours
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
Józef Winkowski
OTM
2010
Springer
14 years 8 months ago
SMILE - A Framework for Semantic Applications
Abstract. Even though the semantic web become actual topic of research recently, there are no complex solutions for building semantic applications yet to our best knowledge. We des...
Jakub Galgonek, Tomas Knap, Martin Krulis, Martin ...
TIP
2010
167views more  TIP 2010»
14 years 4 months ago
A Bayesian Framework for Image Segmentation With Spatially Varying Mixtures
Abstract--A new Bayesian model is proposed for image segmentation based upon Gaussian mixture models (GMM) with spatial smoothness constraints. This model exploits the Dirichlet co...
Christophoros Nikou, Aristidis Likas, Nikolas P. G...
CSFW
2012
IEEE
13 years 15 days ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
AGI
2008
14 years 11 months ago
Reasoning with Prioritized Data by Aggregation of Distance Functions
Abstract. We introduce a general framework for reasoning with prioritized data by aggregation of distance functions, study some basic properties of the entailment relations that ar...
Ofer Arieli