1642 search results - page 201 / 329 » A Heuristic Method for Business Process Model Evaluation |
189
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
174
click to vote
SSD
2007
Springer
16 years 1 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
193
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper describes a method for articulated upper body tracking in monocular scenes. The compatibility between model and the image is estimated using one particle filter for eac...
179
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper we evaluate the effectiveness of two likelihood normalization techniques, the Background Model Set (BMS) and the Universal Background Model (UBM), for improving perf...
161
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...