7099 search results - page 319 / 1420 » Context for models of concurrency |
179
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
174
click to vote
AIME
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
179
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
183
click to vote
ICIA
2007
15 years 9 months ago
2007
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
176
Voted
DAGSTUHL
2008
15 years 9 months ago
2008
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...