2519 search results - page 247 / 504 » Reasoning with Textual Cases |
161
click to vote
RISE
2005
Springer
16 years 4 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
163
click to vote
KR
2004
Springer
16 years 14 hour ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
155
click to vote
NMR
2004
Springer
16 years 11 hour ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
150
click to vote
SPW
2004
Springer
16 years 3 hour ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
197
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...