5525 search results - page 864 / 1105 » Verification of Model Transformations |
135
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
132
click to vote
ESTIMEDIA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a structured application design trajectory to transform media-processing applications— modeled as Kahn process network—into a set of functionspecific hardw...
167
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The paper focuses on the efficiency of the hybrid evolutionary algorithm (HEA) for solving the global optimization problem arising in electronic imaging. The particular v...
139
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
137
click to vote
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...