Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliļ¬...
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
Edward Aftandilian, Sean Kelley, Connor Gramazio, ...
PN refer to the set of ties a speciļ¬c individual has with other people. There is signiļ¬cant variation in the size of an individualās PN and this paper explores the eļ¬ect o...
Yu-En Lu, Sam Roberts, Tammy M. K. Cheng, Robin Du...
In this paper we propose a scheme for ball detection and tracking in broadcast soccer video. There are two alternate procedures in the scheme: ball detection and ball tracking. In ...
In this work, we present a novel approach to face recognition which considers both shape and texture information to represent face images. The face area is first divided into small...