1809 search results - page 215 / 362 » Software Model Checking Using Linear Constraints |
108
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a new method for data clustering based on a particular Gaussian mixture model (GMM). Each cluster of data, modeled as a GMM into an input space, is interpreted as a hy...
115
click to vote
FSTTCS
2010
Springer
15 years 7 days ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
130
click to vote
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
139
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...
116
click to vote
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...