849 search results - page 134 / 170 » Completely Non-malleable Schemes |
MICRO
1997
IEEE
14 years 1 months ago
1997
IEEE
As the disparity between processor and main memory performance grows, the number of execution cycles spent waiting for memory accesses to complete also increases. As a result, lat...
CAIP
1993
Springer
14 years 1 months ago
1993
Springer
A robust method is introduced for computing the camera motion (the ego-motion) in a static scene. The method is based on detecting a single planar surface in the scene directly fro...
EMNETS
2007
14 years 28 days ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
CAV
2004
Springer
14 years 23 days ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
CLOR
2006
14 years 22 days ago
2006
The chapter describes visual classification by a hierarchy of semantic fragments. In fragment-based classification, objects within a class are represented by common sub-structures ...