5564 search results - page 401 / 1113 » Performance Modeling of HPC Applications |
144
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
146
click to vote
ICCV
2007
IEEE
16 years 7 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
144
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
139
Voted
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
155
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...