8025 search results - page 1558 / 1605 » Combinators Introduction: An Algorithm |
107
click to vote
AAAI
1994
15 years 4 months ago
1994
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
122
click to vote
COLING
1992
15 years 4 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
156
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Establishing trust amongst agents is of central importance to the development of well-functioning multi-agent systems. For example, the anonymity of transactions on the Internet c...
139
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of selecting a subset of p out of n sensors for the purpose of event detection, in a wireless sensor network (WSN). Occurrence or not of the event of intere...
127
click to vote
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...