2703 search results - page 247 / 541 » Learning operational requirements from goal models |
162
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
189
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
222
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we develop an algorithm for action recognition and localization in videos. The algorithm uses a figurecentric visual word representation. Different from previous ap...
158
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Topic models such as aspect model or LDA have been shown as a promising approach for text modeling. Unlike many previous models that restrict each document to a single topic, topi...
154
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...