5525 search results - page 631 / 1105 » Verification of Model Transformations |
187
click to vote
ICCSA
2007
Springer
16 years 1 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
202
click to vote
PCM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In many rate control models, a uniform weighted distortion has been assumed; that is, the DCT coefficients of the motioncompensation difference frames (residues) conform...
213
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Characteristics of the 2D shape deformation in human motion contain rich information for human identification and pose estimation. In this paper, we introduce a framework for sim...
173
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
162
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...