373 search results - page 50 / 75 » Synthesis of Trigger Properties |
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Classical linear wavelet representations of images have the drawback that they are not well-suited to represent edge information. To overcome this problem, nonlinear multiresoluti...
DAC
2001
ACM
14 years 11 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
PODS
2003
ACM
14 years 10 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
Convenient reconstruction of natural plants is a difficult task because of their intrinsic complex geometry. In this paper, we propose a convenient image-based approach to modeli...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
— A 2-MITE is a multiple-input translinear element with two input gates. In this paper, different properties of networks of 2-MITEs are derived, especially in the case of product...