4814 search results - page 613 / 963 » Combining abstract interpreters |
109
Voted
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper, we would propose a novel mechanism of surgical manipulator, which assists the surgeon in precise positioning and handling of surgical devices, like biopsy ...
142
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
143
Voted
APSEC
1995
IEEE
15 years 9 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
167
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...
161
click to vote
VISUAL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Often in content-based image retrieval, a single image attribute may not have enough discriminative information for retrieval. On the other hand, when multiple features a...