1151 search results - page 92 / 231 » Modelling Digital Circuits Problems with Set Constraints |
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper presents a simple yet practical 3-D modeling
method for recovering surface shape and reflectance
from a set of images. We attach a point light source to a
hand-held c...
IRI
2008
IEEE
14 years 4 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
ICCAD
1997
IEEE
14 years 2 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
PADS
2003
ACM
14 years 3 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
DAC
2008
ACM
14 years 11 months ago
2008
ACM
Due to recent advances in microfluidics technology, digital microfluidic biochips and their associated CAD problems have gained much attention, most of which has been devoted to d...