2765 search results - page 45 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
165
click to vote
ISSRE
2006
IEEE
16 years 6 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
213
click to vote
EMNLP
2010
15 years 4 months ago
2010
In this paper, we develop multilingual supervised latent Dirichlet allocation (MLSLDA), a probabilistic generative model that allows insights gleaned from one language's data...
166
click to vote
TOOLS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
156
click to vote
CIVR
2005
Springer
15 years 11 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...
157
click to vote
RML
2002
15 years 5 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...