Sciweavers

2221 search results - page 108 / 445
» The Importance of Symmetric Representation
Sort
View
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 2 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
BMVC
2000
14 years 11 months ago
Straight Lines and Circles in the Log-Polar Image
Foveal or spatially-variant image representations are important components of active vision systems. Log-polar sampling is a particularly powerful example as a result of the simpl...
David S. Young
COLING
1992
14 years 11 months ago
A Tense And Aspect Calculus
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...
Diana Santos
IJAR
2007
107views more  IJAR 2007»
14 years 9 months ago
Hybrid possibilistic networks
Possibilistic networks are important tools for dealing with uncertain pieces of information. For multiplyconnected networks, it is well known that the inference process is a hard ...
Salem Benferhat, Salma Smaoui
CVGIP
2002
181views more  CVGIP 2002»
14 years 9 months ago
A dynamic method for dominant point detection
Detecting dominant points is an important step for shape representation. Most of dominant point detection methods attend to preset or find the region of support of each point. In ...
Wen-Yen Wu