689 search results - page 107 / 138 » The multithreaded version of FORM |
148
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
146
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
174
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...
145
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: DNA sequence comparison is a well-studied problem, in which two DNA sequences are compared using a weighted edit distance. Recent DNA sequencing technologies however o...
154
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...