4209 search results - page 751 / 842 » Abstract Dialectical Frameworks |
108
click to vote
TCAD
2010
14 years 10 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
154
click to vote
TCAD
2010
14 years 10 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
129
click to vote
TCIAIG
2010
14 years 10 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
114
click to vote
TCS
2010
14 years 10 months ago
2010
Abstract. A trivalent diagram is a connected, two-colored bipartite graph (parallel edges allowed but not loops) such that every black vertex is of degree 1 or 3 and every white ve...
132
click to vote
TCSV
2010
14 years 10 months ago
2010
Abstract--A new framework, termed Spatially Aligned Pyramid Matching (SAPM), is proposed for Near Duplicate Image Identification. The proposed method robustly handles spatial shift...