1175 search results - page 61 / 235 » Abstract computability and algebraic specification |
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...
DIAGRAMS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
PSB
2010
13 years 5 months ago
2010
rmed at a conceptual level, in terms of abstract biochemical reactions
IJSI
2008
13 years 7 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...