Sciweavers

4814 search results - page 218 / 963
» Combining abstract interpreters
Sort
View
MICCAI
2000
Springer
15 years 10 months ago
diSNei: A Collaborative Environment for Medical Images Analysis and Visualization
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
Carlos Alberola, Rubén Cárdenes, Mar...
SAIG
2000
Springer
15 years 10 months ago
Compiling Embedded Languages
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
Conal Elliott, Sigbjorn Finne, Oege de Moor
ICCV
1995
IEEE
15 years 10 months ago
FORMS: A Flexible Object Recognition and Modelling System
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
Song Chun Zhu, Alan L. Yuille
SAS
1991
Springer
15 years 10 months ago
On Static Properties of Specialized Programs
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
Karoline Malmkjær
FASE
2010
Springer
15 years 9 months ago
A Process to Effectively Identify "Guilty" Performance Antipatterns
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
Vittorio Cortellessa, Anne Martens, Ralf Reussner,...