3435 search results - page 336 / 687 » Aspect Model Unweaving |
155
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
177
click to vote
COSIT
1995
Springer
15 years 10 months ago
1995
Springer
: Spatial relations are becoming an important aspect of spatial access methods because of the increasing interest on qualitative spatial information processing. In this paper we sh...
168
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
175
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This work aims at developing appropriate Mixed Interaction Systems (MIS) for navigating 3D environments in a science centre context. Due to the wide range and multi-disciplinary de...
173
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...