4636 search results - page 630 / 928 » Modelling and Validation with VipTool |
169
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
162
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
186
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we address the problem of fluid motion estimation in image sequences. For such motions, standard optical flow methods, based on intensity conservation and spatial...
163
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
168
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...