517 search results - page 42 / 104 » Translation in XBRL standardization |
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we describe the method for aligning multiple range images given by a range finder. Especially we will use range images of inside and outside of buildings which cont...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Arabic is a language with a particularly large vocabulary rich in words with synonymous shades of meaning. Modern Standard Arabic, which ...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
DAGM
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents an extended hand-eye calibration approach that, in contrast to the standard method, does not require a calibration pattern for determining camera position and or...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...