11168 search results - page 1596 / 2234 » Abstract State Processes |
148
click to vote
SPATIALCOGNITION
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
159
click to vote
SPATIALCOGNITION
2000
Springer
15 years 9 months ago
2000
Springer
Schematic maps are effective tools for representing information e physical environment; they depict specific information in an abstract way. This study concentrates on spatial aspe...
165
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
128
click to vote
ICSC
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...
156
click to vote
SCALESPACE
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...