Sciweavers

194 search results - page 28 / 39
» Formal concept analysis applied to fault localization
Sort
View
SOSYM
2010
176views more  SOSYM 2010»
13 years 6 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
TVCG
1998
160views more  TVCG 1998»
13 years 7 months ago
Adaptive Projection Operators in Multiresolution Scientific Visualization
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
Mario Ohlberger, Martin Rumpf
AMFG
2003
IEEE
244views Biometrics» more  AMFG 2003»
14 years 1 months ago
Manifold of Facial Expression
In this paper, we propose the concept of Manifold of Facial Expression based on the observation that images of a subject’s facial expressions define a smooth manifold in the hig...
Ya Chang, Changbo Hu, Matthew Turk
ESWS
2006
Springer
13 years 11 months ago
On the Semantics of Functional Descriptions of Web Services
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
Uwe Keller, Holger Lausen, Michael Stollberg
ASIACRYPT
2009
Springer
14 years 2 months ago
Linearization Framework for Collision Attacks: Application to CubeHash and MD6
In this paper, an improved differential cryptanalysis framework for finding collisions in hash functions is provided. Its principle is based on linearization of compression functi...
Eric Brier, Shahram Khazaei, Willi Meier, Thomas P...