Learn More
In this paper, we present an extension of the Colour Edge Co-occurence Histogram (CECH) object detection scheme for detecting logos and trademarks in unconstrained colour images. We introduce more accurate information to the CECH by virtue of incorporating colour edge detection using vector order statistics, producing a more accurate representation of edges(More)
We demonstrate how Binary Decision Diagrams (BDDs) can be used to implement Tableaux based automated theorem provers for Modal Logic K and S4. By using BDDs to represent the underlying formula sets of a Tableaux proof procedure, we are able to integrate and implicitly perform many of the Tableaux rules as part of constructing a BDD representation. Without(More)
  • 1