Sciweavers

4420 search results - page 306 / 884
» Evaluating a Computational Model of Emotion
Sort
View
PAMI
2007
197views more  PAMI 2007»
15 years 7 months ago
A Lattice-Based MRF Model for Dynamic Near-Regular Texture Tracking
—A near-regular texture (NRT) is a geometric and photometric deformation from its regular origin—a congruent wallpaper pattern formed by 2D translations of a single tile. A dyn...
Wen-Chieh Lin, Yanxi Liu
SPIN
2010
Springer
15 years 5 months ago
Context-Enhanced Directed Model Checking
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...
Martin Wehrle, Sebastian Kupferschmid
AMAI
2010
Springer
15 years 5 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
235
Voted
CVPR
2012
IEEE
13 years 10 months ago
An online learned CRF model for multi-target tracking
We introduce an online learning approach for multitarget tracking. Detection responses are gradually associated into tracklets in multiple levels to produce final tracks. Unlike ...
Bo Yang, Ram Nevatia
176
Voted
ACL
2009
15 years 5 months ago
English-Chinese Bi-Directional OOV Translation based on Web Mining and Supervised Learning
In Cross-Language Information Retrieval (CLIR), Out-of-Vocabulary (OOV) detection and translation pair relevance evaluation still remain as key problems. In this paper, an English...
Yuejie Zhang, Yang Wang, Xiangyang Xue