12981 search results - page 2059 / 2597 » Model Checking (Abstract) |
190
Voted
FASE
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
200
click to vote
FM
2001
Springer
15 years 12 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
215
click to vote
MICCAI
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
198
Voted
NGC
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, o...
189
Voted
RT
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...