2131 search results - page 114 / 427 » Immunity for Closed Sets |
148
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution s...
162
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
151
click to vote
ECIR
2010
Springer
15 years 7 months ago
2010
Springer
In a multi-language Information Retrieval setting, the knowledge about the language of a user query is important for further processing. Hence, we compare the performance of some t...
113
click to vote
COLING
2008
15 years 7 months ago
2008
In this paper we describe a methodology for detecting preposition errors in the writing of non-native English speakers. Our system performs at 84% precision and close to 19% recal...
153
click to vote
AAAI
2006
15 years 7 months ago
2006
of somewhat abstracting away from the literal physiological measurements of articulation that are so closely tied to the acoustic signal, and with some additional computational bur...