Sciweavers

5671 search results - page 737 / 1135
» A Semantic Approach to Interpolation
Sort
View
FASE
2003
Springer
16 years 5 days ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
WCRE
2002
IEEE
15 years 12 months ago
Finding High-Level Structures in Spreadsheet Programs
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
Roland Mittermeir, Markus Clermont
MSR
2009
ACM
15 years 11 months ago
Automatic labeling of software components and their evolution using log-likelihood ratio of word frequencies in source code
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
Adrian Kuhn
SIGGRAPH
2010
ACM
15 years 11 months ago
Parametric reshaping of human bodies in images
We present an easy-to-use image retouching technique for realistic reshaping of human bodies in a single image. A model-based approach is taken by integrating a 3D whole-body morp...
Shizhe Zhou, Hongbo Fu, Ligang Liu, Daniel Cohen-O...
VLDB
2001
ACM
119views Database» more  VLDB 2001»
15 years 11 months ago
A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space
Previous research has demonstrated that space can be saved in a MultiMedia DataBase Management System (MMDBMS) by storing some of the data items virtually, meaning they are stored...
Leonard Brown, Le Gruenwald