9532 search results - page 1503 / 1907 » Logic, Graphs, and Algorithms |
180
click to vote
ICPPW
2006
IEEE
16 years 27 days ago
2006
IEEE
Evolution of grid has drawn attention from various resource intensive applications addressing domains of bio-informatics, astrology and multimedia, to name a few. Image analysis a...
161
click to vote
ISMVL
2006
IEEE
16 years 26 days ago
2006
IEEE
We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT, and establish its complexity class. We then describe a basic branch and bound algorithm for ...
160
click to vote
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
- Reducing the yield loss due to via failure is one of the important problems in design for manufacturability. A well known and highly recommended method to improve via yield/relia...
197
click to vote
ACSD
2005
IEEE
16 years 14 days ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
186
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...