Sciweavers

1117 search results - page 79 / 224
» Equivalent Representations of Set Functions
Sort
View
ECCV
2002
Springer
15 years 11 months ago
On Pencils of Tangent Planes and the Recognition of Smooth 3D Shapes from Silhouettes
This paper presents a geometric approach to recognizing smooth objects from their outlines. We define a signature function that associates feature vectors with objects and baseline...
Svetlana Lazebnik, Amit Sethi, Cordelia Schmid, Da...
CC
2001
Springer
131views System Software» more  CC 2001»
15 years 2 months ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle
ICCD
1995
IEEE
119views Hardware» more  ICCD 1995»
15 years 1 months ago
Extraction of finite state machines from transistor netlists by symbolic simulation
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
Manish Pandey, Alok Jain, Randal E. Bryant, Derek ...
CIBCB
2009
IEEE
14 years 10 months ago
DDPIn - Distance and density based protein indexing
Protein structure similarity and classification methods have many applications in protein function prediction and associated fields (e.g. drug discovery). In this paper, we propose...
David Hoksza
SCL
2010
98views more  SCL 2010»
14 years 8 months ago
Symbolic models for nonlinear time-delay systems using approximate bisimulations
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, ...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...