Sciweavers

780 search results - page 41 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
13 years 9 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
CIDM
2011
IEEE
13 years 15 days ago
Partial generalized correlation for hyperspectral data
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
Marc Strickert, Bjorn Labitzke, Volker Blanz
JLP
2011
94views more  JLP 2011»
13 years 3 months ago
Permission to speak: A logic for access control and conformance
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
VMV
2008
168views Visualization» more  VMV 2008»
13 years 10 months ago
Integrating robust likelihoods with Monte-Carlo filters for multi-target tracking
In this paper, a dynamic multi-modal fusion scheme for tracking multiple targets with Monte-Carlo filters is presented, with the goal of achieving robustness by combining complime...
Giorgio Panin, Thorsten Röder, Alois Knoll
DBSEC
2010
113views Database» more  DBSEC 2010»
13 years 9 months ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese