596 search results - page 43 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
182
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Robust, real-time tracking of objects from visual data requires probabilistic fusion of multiple visual cues. Previous approaches have either been ad hoc or relied on a Bayesian n...
161
click to vote
ECTEL
2007
Springer
16 years 6 days ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
179
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
139
click to vote
APVIS
2008
15 years 7 months ago
2008
Motivated by the growing interest in the use of ridges in scientific visualization, we analyze the two height ridge definitions by Eberly and Lindeberg. We propose a raw feature d...
146
click to vote
IV
2008
IEEE
16 years 13 days ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...