1017 search results - page 84 / 204 » Register computations on ordinals |
CPM
2004
Springer
14 years 1 months ago
2004
Springer
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
DEXA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
HAPTICS
2007
IEEE
14 years 2 months ago
2007
IEEE
A method based on Principal Component Analysis of the fingernail coloration pattern is presented to infer fingertip force direction during planar contact. Images from 7 subjects...
CAIP
1997
Springer
14 years 3 days ago
1997
Springer
Abstract—This work presents a method for the registration of threedimensional (3-D) shapes. The method is based on the iterative closest point (ICP) algorithm and improves it thr...
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...