8697 search results - page 132 / 1740 » An Approach to the Enterprise Integration |
184
click to vote
GLVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a method for synthesizing lookup table (LUT) networks. The strategy employed by our method is very different from the strategies of previous methods; many deco...
152
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
157
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
166
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
Background: Comorbidity of Major Depressive Disorder (depression) and Alcohol Use Disorders (AUD) is well documented. Depression, AUD, and the comorbidity of depression with AUD s...
182
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
This paper describes techniques for fusing the output of multiple cues to robustly and accurately segment foreground objects from the background in image sequences. Two different m...