Sciweavers

10790 search results - page 368 / 2158
» Using feature models to automate model transformations
Sort
View
VRST
2000
ACM
15 years 11 months ago
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
Sujin Liu, Zhiyong Huang
DAC
2005
ACM
16 years 7 months ago
Exploiting suspected redundancy without proving it
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
ISMIR
2004
Springer
111views Music» more  ISMIR 2004»
16 years 6 days ago
Optimizing Measures Of Melodic Similarity For The Exploration Of A Large Folk Song Database
This investigation aims at finding an optimal way of measuring the similarity of melodies. The applicability for an automated analysis and classification was tested on a folk song...
Daniel Müllensiefen, Klaus Frieler
IJSEKE
2006
138views more  IJSEKE 2006»
15 years 6 months ago
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
Igor Ivkovic, Kostas Kontogiannis
LICS
1999
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke