Sciweavers

4100 search results - page 118 / 820
» General Linear Cameras
Sort
View
CAV
2009
Springer
182views Hardware» more  CAV 2009»
15 years 11 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
ICASSP
2009
IEEE
15 years 11 months ago
Generalized mutual interdependence analysis
The mean of a data set is one trivial representation of data from one class. Recently, mutual interdependence analysis (MIA) has been successfully used to extract more involved re...
Heiko Claussen, Justinian Rosca, Robert I. Damper
IROS
2006
IEEE
108views Robotics» more  IROS 2006»
15 years 10 months ago
A Lie Algebraic Approach for Consistent Pose Registration for General Euclidean Motion
Abstract— We study the problem of registering local relative pose estimates to produce a global consistent trajectory of a moving robot. Traditionally, this problem has been stud...
Motilal Agrawal
AES
2004
Springer
151views Cryptology» more  AES 2004»
15 years 9 months ago
General Principles of Algebraic Attacks and New Design Criteria for Cipher Components
This paper is about the design of multivariate public key schemes, as well as block and stream ciphers, in relation to recent attacks that exploit various types of multivariate alg...
Nicolas Courtois
SI3D
2003
ACM
15 years 9 months ago
A general joint component framework for realistic articulation in human characters
We present a general joint component framework model that is capable of exhibiting complex behavior of joints in articulated figures. The joints are capable of handling non-ortho...
Wei Shao, Victor Ng-Thow-Hing