12981 search results - page 2065 / 2597 » Model Checking (Abstract) |
252
click to vote
ICPIA
1992
15 years 11 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...
205
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
216
click to vote
ITS
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
214
click to vote
ACIVS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
220
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...