1422 search results - page 150 / 285 » Complementation in Abstract Interpretation |
155
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
119
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...
153
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...
141
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...
151
Voted
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...