1104 search results - page 78 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper investigates the use of unlabeled data to help labeled data for audio-visual event recognition in meetings. To deal with situations in which it is difficult to collect...
CVPR
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
GPCE
2008
Springer
13 years 10 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...