Sciweavers

2960 search results - page 311 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
179
Voted
ARTS
1999
Springer
15 years 11 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
ACCV
1998
Springer
15 years 11 months ago
Object Recognition by Matching Symbolic Edge Graphs
We present an object recognition system based on symbolic graphs with object corners as vertices and outlines as edges. Corners are determined in a robust way by a multiscale combi...
Tino Lourens, Rolf P. Würtz
JMLC
1997
Springer
15 years 10 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
ICRA
1994
IEEE
98views Robotics» more  ICRA 1994»
15 years 10 months ago
Efficient Distance Computation Between Non-Convex Objects
This paper describes an efficient algorithm for computing the distance between non-convex objects. Objects are modeled as the union of a set of convex components. From this model ...
Sean Quinlan
CGVR
2006
15 years 8 months ago
The New Triangulation-Simplify Algorithm of TIN
: Simplification of triangulation structure plays an important role in constructing three-dimensional modeling. In this paper, we study all of triangulation-simplify algorithm in u...
Guoqing Yao, Zhun Chen, Mao Wang