738 search results - page 18 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
109
click to vote
EGICE
2006
15 years 1 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
92
Voted
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
We explore a polar representation of optical flow in which each element of the brightness motion field is represented by its magnitude and orientation instead of its Cartesian p...
CN
2007
14 years 9 months ago
2007
Web masters usually place certain web pages such as home pages and index pages in front of others. Under such a design, it is necessary to go through some pages to reach the desti...
COMPGEOM
2006
ACM
15 years 3 months ago
2006
ACM
We give the first complete subdivision algorithm for the intersection of two Bezier curves F, G, possibly with tangential intersections. Our approach to robust subdivision algori...