5525 search results - page 863 / 1105 » Verification of Model Transformations |
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
106
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
130
click to vote
ASIACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Di...
142
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we explore the help of visual features to cross-language image retrieval. We propose an approach that transforms textual queries into visual representations. The re...
129
click to vote
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider the task of stereo-reconstruction under the following fairly broad assumptions. A single and continuously shaped object is captured by two uncalibrated camera...