112 search results - page 4 / 23 » On the Expressiveness of Levesque's Normal Form |
EMMCVPR
2005
Springer
14 years 29 days ago
2005
Springer
Traditional stereo algorithms either explicitly use the frontal parallel plane assumption by only considering position (zero-order) disparity when computing similarity measures of ...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Given the facial points extracted from an image of a face in an arbitrary pose, the goal of facial-point-based headpose normalization is to obtain the corresponding facial points ...
IDEAS
2002
IEEE
14 years 11 days ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
AUTOMATICA
2010
13 years 7 months ago
2010
Based on the linear expression of the dynamics of Boolean networks, the coordinate transformation of Boolean variables is defined. It follows that the state space coordinate trans...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...