2153 search results - page 347 / 431 » From Requirements Models to Formal Specifications in B |
281
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
106
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, client-site Web mashups are studied from component-oriented perspective, and CompoWeb, a componentoriented Web architecture, is proposed. In CompoWeb, a Web applica...
145
click to vote
ICRA
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— This paper applies some previously studied extended Kalman filter techniques for planar road geometry estimation to the domain of autonomous navigation of offhighway v...
156
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
187
click to vote
PCI
2005
Springer
15 years 11 months ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...