241 search results - page 43 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
ICIAP
2007
ACM
14 years 6 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
BC
2008
13 years 6 months ago
2008
We propose a novel model of visual contrast measurement based on segregated ON and OFF pathways. Two driving forces have shaped our investigation: (1) establishing a mechanism sele...
ICCS
1997
Springer
13 years 10 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...