Sciweavers

3863 search results - page 248 / 773
» Function in Device Representation
Sort
View
EUROCAST
2005
Springer
104views Hardware» more  EUROCAST 2005»
16 years 5 days ago
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
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...
Roberto Therón, Vidal Moreno, Belén ...
CIVR
2004
Springer
100views Image Analysis» more  CIVR 2004»
16 years 1 days ago
STRICT: An Image Retrieval Platform for Queries Based on Regional Content
This paper presents a CBIR system that is based on a segmented representation of image content. It compares regional features using fuzzy similarity, which have been shown to be ps...
Jean-François Omhover, Marcin Detyniecki
IDEAS
2003
IEEE
86views Database» more  IDEAS 2003»
15 years 12 months ago
A Medium Complexity Discrete Model for Uncertain Spatial Data
This paper presents a method for representing uncertainty in spatial data in a database. The model presented requires moderate amounts of storage space. To compute the probability...
Erlend Tøssebro, Mads Nygård
ISMVL
2010
IEEE
195views Hardware» more  ISMVL 2010»
15 years 11 months ago
ESOP-Based Toffoli Network Generation with Transformations
In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work [12] and generates a cascade of inverted-control-Toffoli gates from t...
Yasaman Sanaee, Gerhard W. Dueck
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 11 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele