Sciweavers

1224 search results - page 127 / 245
» Framework extraction with domain analysis
Sort
View
DSVIS
2000
Springer
15 years 8 months ago
Wisdom - A UML Based Architecture for Interactive Systems
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
Nuno Jardim Nunes, João Falcão e Cun...
ICLP
1998
Springer
15 years 8 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel
CVPR
2004
IEEE
16 years 6 months ago
Using Skew Gabor Filter in Source Signal Separation and Local Spectral Multi-Orientation Analysis
Responses of Gabor wavelets in the mid-frequency space build a local spectral representation scheme with optimal properties regarding the time-frequency uncertainty principle. How...
Weichuan Yu, Gerald Sommer, Kostas Daniilidis
POPL
2003
ACM
16 years 4 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
SCIA
2005
Springer
148views Image Analysis» more  SCIA 2005»
15 years 9 months ago
3D Reconstruction of Metallic Surfaces by Photopolarimetric Analysis
In this paper we present a novel image-based 3D surface reconstruction technique that incorporates both reflectance and polarisation features into a variational framework. Our tec...
Pablo d'Angelo, Christian Wöhler