1914 search results - page 269 / 383 » Verification by Abstract Interpretation |
115
click to vote
NIPS
2000
15 years 2 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
IJCAI
1989
15 years 1 months ago
1989
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...
116
click to vote
WOB
2007
15 years 1 months ago
2007
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...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
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...
106
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
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...