1210 search results - page 119 / 242 » Specifying Precise Use Cases with Use Case Charts |
119
click to vote
AAAI
1998
15 years 5 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
132
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Given a set of keyphrases, we analyze how Web queries with these phrases can be formed that, taken altogether, return a specified number of hits. The use case of this problem is a ...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of information embedding where the encoder modifies a white Gaussian host signal in a power-constrained manner to encode the message, and the decoder recov...
150
click to vote
JSW
2007
15 years 4 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
138
click to vote
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...