1075 search results - page 127 / 215 » Multiple Spin-Block Decisions |
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
ACMICEC
2006
ACM
14 years 2 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
CRV
2005
IEEE
14 years 1 months ago
2005
IEEE
Real world computer vision systems highly depend on reliable, robust retrieval of motion cues to make accurate decisions about their surroundings. In this paper, we present a simp...
CVPR
2005
IEEE
14 years 1 months ago
2005
IEEE
With the aim to design a general learning framework for detecting faces of various poses or under different lighting conditions, we are motivated to formulate the task as a classi...
CVPR
2005
IEEE
14 years 1 months ago
2005
IEEE
Advances in computer processing power and emerging algorithms are allowing new ways of envisioning Human Computer Interaction. This paper focuses on the development of a computing...