3342 search results - page 278 / 669 » Automating Abstract Interpretation |
115
click to vote
MICCAI
2000
Springer
15 years 7 months ago
2000
Springer
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...
152
click to vote
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
138
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
148
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
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...
142
click to vote
SAS
1991
Springer
15 years 7 months ago
1991
Springer
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 ...