644 search results - page 64 / 129 » Translation the Wiki way |
DAGM
2005
Springer
14 years 1 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...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We present one way of combining a logical framework and ļ¬rst-order logic. The logical framework is used as an interface to a ļ¬rst-order theorem prover. Its main purpose is to k...
CC
2004
Springer
14 years 1 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedureās stack frame in a way that respects the calling convention. Many compilers respect the convention either by...