7134 search results - page 1138 / 1427 » A comparative study of map use |
144
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
147
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
Automatic detection of spontaneous versus posed facial expressions received a lot of attention in recent years. However, almost all published work in this area use complex facial ...
138
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
156
click to vote
TKDE
2010
15 years 2 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
144
click to vote
BMVC
2010
15 years 2 months ago
2010
The Active Appearance Model (AAM) provides an efficient method for localizing objects that vary in both shape and texture, and uses a linear regressor to predict updates to model ...