4074 search results - page 438 / 815 » Abstract Graph Transformation |
154
click to vote
CAMP
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...
183
click to vote
CADE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
147
click to vote
DGCI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we propose a new definition and an exact algorithm for the discrete bisector function, which is an important tool for analyzing and filtering Euclidean s...
154
click to vote
DGCI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Reversible polyhedral modelling of discrete objects is an important issue to handle those objects. We propose a new algorithm to compute a polygonal face from a discrete ...
175
click to vote
EUROCAST
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...