396 search results - page 50 / 80 » Designing Components Versus Objects: A Transformational Appr... |
149
Voted
ER
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
145
Voted
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
130
Voted
PRL
2006
15 years 3 months ago
2006
This paper proposes a new evolutionary region merging method in order to efficiently improve segmentation quality results. Our approach starts from an oversegmented image, which is...
185
Voted
PAMI
2012
13 years 6 months ago
2012
—SIFT-like local feature descriptors are ubiquitously employed in such computer vision applications as content-based retrieval, video analysis, copy detection, object recognition...
124
Voted
IWFM
1998
15 years 4 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...