10568 search results - page 410 / 2114 » Computer Intelligence and Formalization |
131
click to vote
AAAI
1992
15 years 5 months ago
1992
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
181
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
123
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Given two classifications, or lightweight ontologies, we compute the minimal mapping, namely the subset of all possible correspondences, called mapping elements, between them such ...
113
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
For bulk synchronous computations that have nondeterministic behaviors, dynamic remapping is an effective approach to ensure parallel efficiency. There are two basic issues in re...
157
click to vote
ICFP
1998
ACM
15 years 9 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...