6434 search results - page 232 / 1287 » Model Transformations with Reference Models |
114
click to vote
ENTCS
2007
15 years 16 days ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
115
Voted
PRL
2007
15 years 2 days ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
98
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Gaussian mixture model - universal background model (GMMUBM) is a standard reference classifier in speaker verification. We have recently proposed a simplified model using vect...
133
Voted
FGR
2011
IEEE
14 years 4 months ago
2011
IEEE
— Matching images with large geometric and iconic changes (e.g. faces under different poses and facial expressions) is an open research problem in computer vision. There are two ...
55
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a medium, called Interactive e-Hon, for helping children to understand contents from the Web. It works by transforming electronic contents into an easily unde...