18209 search results - page 327 / 3642 » Some Remarks on the Paper |
155
click to vote
RE
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
176
Voted
STORYTELLING
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes how conversational expressive agents can be used in the context of Interactive Drama. This integration requires some automatic tagging of the generated text, a...
173
click to vote
AUSAI
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
176
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
162
click to vote
CAV
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...