4636 search results - page 313 / 928 » Modelling and Validation with VipTool |
123
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
114
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
122
click to vote
MCS
2007
Springer
15 years 10 months ago
2007
Springer
A new scheme for the optimization of codebook sizes for HMMs and the generation of HMM ensembles is proposed in this paper. In a discrete HMM, the vector quantization procedure and...
123
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
165
click to vote
SIBGRAPI
2005
IEEE
15 years 9 months ago
2005
IEEE
Tracking moving objects in video sequence is an important problem in computer vision, with applications several fields, such as video surveillance and target tracking. Most techn...