770 search results - page 74 / 154 » Subsequence similarity language models |
101
click to vote
NFM
2011
14 years 5 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
100
click to vote
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Gaussian Mixture Models (GMM). We build our models on Principal ...
CIVR
2005
Springer
15 years 3 months ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
NAACL
2010
14 years 8 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
COMPSAC
2010
IEEE
14 years 5 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...