Sciweavers

269 search results - page 51 / 54
» Templates as Master Keys
Sort
View
ESOP
2012
Springer
12 years 1 months ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...
JTAER
2008
175views more  JTAER 2008»
13 years 6 months ago
A Core Component-based Modelling Approach for Achieving e-Business Semantics Interoperability
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
Till Janner, Fenareti Lampathaki, Volker Hoyer, Sp...
MMM
2011
Springer
244views Multimedia» more  MMM 2011»
12 years 10 months ago
Shape Stylized Face Caricatures
Facial caricatures exaggerate key features to emphasize unique structural and personality traits. It is quite a challenge to retain the identity of the original person despite the ...
Nguyen Kim Hai Le, Why Yong Peng, Golam Ashraf
SIGMOD
1997
ACM
136views Database» more  SIGMOD 1997»
13 years 10 months ago
STRUDEL: A Web-site Management System
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...
Mary F. Fernández, Daniela Florescu, Jaewoo...
ICPR
2000
IEEE
14 years 7 months ago
Piecewise Linear Skeletonization Using Principal Curves
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
Adam Krzyzak, Balázs Kégl