1422 search results - page 185 / 285 » Complementation in Abstract Interpretation |
109
click to vote
AAAI
1997
15 years 5 months ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
138
Voted
NIPS
2000
15 years 5 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...
100
click to vote
IJCAI
1989
15 years 4 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...
142
click to vote
WOB
2007
15 years 4 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...
121
click to vote
CONCUR
2010
Springer
15 years 4 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...