5995 search results - page 811 / 1199 » Algorithmic Game Theory |
184
click to vote
MLCW
2005
Springer
16 years 8 days ago
2005
Springer
Textual Entailment recognition is a very difficult task as it is one of the fundamental problems in any semantic theory of natural language. As in many other NLP tasks, Machine Lea...
169
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
169
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
206
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
166
click to vote
SIGADA
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...