2203 search results - page 271 / 441 » Temporal Abstract Interpretation |
112
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
click to vote
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...
143
click to vote
WOB
2007
15 years 5 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...
123
click to vote
CONCUR
2010
Springer
15 years 5 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...
136
click to vote
ECAI
2010
Springer
15 years 5 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...