1189 search results - page 112 / 238 » The Quotient of an Abstract Interpretation |
102
click to vote
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
122
click to vote
FORMATS
2006
Springer
15 years 4 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...
93
Voted
MICCAI
2000
Springer
15 years 4 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...
123
Voted
PKDD
2000
Springer
15 years 4 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...