Sciweavers

1689 search results - page 239 / 338
» Refining abstract interpretations
Sort
View
WOB
2007
116views Bioinformatics» more  WOB 2007»
15 years 5 months ago
Validating Gene Clusterings by Selecting Informative Gene Ontology Terms with Mutual Information
Abstract. We propose a method for global validation of gene clusterings. The method selects a set of informative and non-redundant GO terms through an exploration of the Gene Ontol...
Ivan G. Costa, Marcílio Carlos Pereira de S...
125
Voted
CONCUR
2010
Springer
15 years 5 months ago
Information Flow in Interactive Systems
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
Mário S. Alvim, Miguel E. Andrés, Ca...
ECAI
2010
Springer
15 years 5 months ago
Majority Merging: from Boolean Spaces to Affine Spaces
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
Jean-François Condotta, Souhila Kaci, Pierr...
HAIS
2008
Springer
15 years 5 months ago
Approximate Versus Linguistic Representation in Fuzzy-UCS
Abstract. This paper introduces an approximate fuzzy representation to FuzzyUCS, a Michigan-style Learning Fuzzy-Classifier System that evolves linguistic fuzzy rules, and studies ...
Albert Orriols-Puig, Jorge Casillas, Ester Bernad&...
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 4 months ago
Component Evolution in General Random Intersection Graphs
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
Milan Bradonjic, Aric A. Hagberg, Nicolas W. Henga...