3571 search results - page 311 / 715 » Cohen and Set Theory |
162
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
152
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
169
click to vote
ECAL
2005
Springer
16 years 10 days ago
2005
Springer
Typically, multi-agent models for studying the evolution of perceptually grounded lexicons assume that agents perceive the same set of objects, and that there is either joint atten...
191
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
This paper is concerned with a specific brand of evolutionary algorithms: Memetic algorithms. A new local search technique with an adaptive neighborhood setting process is introdu...
181
click to vote
SEKE
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an integrated rule-based data mining system that is capable of creating rulebased classifiers with web-based user interface from data sets provided by end user...