Sciweavers

1791 search results - page 227 / 359
» Semantics and Complexity of SPARQL
Sort
View
ICIAP
1999
ACM
15 years 9 months ago
Facial Expression Morphing and Animation with Local Warping Methods
In this paper, we applied local warping techniques to construct a frame work of image-based morphing for facial expressions animation with low complexity. From the experience we o...
Daw-Tung Lin, Han Huang
EUROMICRO
1998
IEEE
15 years 9 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
15 years 9 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 9 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
ER
1998
Springer
145views Database» more  ER 1998»
15 years 9 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...