5086 search results - page 285 / 1018 » The Power of Comparative Reasoning |
158
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
195
click to vote
DLOG
2010
15 years 4 months ago
2010
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...
209
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
182
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Case-based reasoning is a flexible methodology to manage software development related tasks. However, when the reasoner’s task is prediction, there are a number of different CBR ...
161
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...