Sciweavers

2252 search results - page 337 / 451
» Regular expression patterns
Sort
View
WRLA
2010
15 years 1 months ago
The Linear Temporal Logic of Rewriting Maude Model Checker
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
Kyungmin Bae, José Meseguer
CVPR
2010
IEEE
15 years 1 months ago
Adaptive pose priors for pictorial structures
Pictorial structure (PS) models are extensively used for part-based recognition of scenes, people, animals and multi-part objects. To achieve tractability, the structure and param...
Benjamin Sapp, Chris Jordan, Ben Taskar
ICMI
2009
Springer
188views Biometrics» more  ICMI 2009»
15 years 21 days ago
Detecting user engagement with a robot companion using task and social interaction-based features
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
Ginevra Castellano, André Pereira, Iolanda ...
FGR
2011
IEEE
288views Biometrics» more  FGR 2011»
14 years 6 months ago
Facial action unit recognition with sparse representation
This paper presents a novel framework for recognition of facial action unit (AU) combinations by viewing the classification as a sparse representation problem. Based on this framew...
Mohammad H. Mahoor, Mu Zhou, Kevin L. Veon, Seyed ...
CEC
2011
IEEE
14 years 2 months ago
Inferring transcriptional regulators for sets of co-expressed genes by multi-objective evolutionary optimization
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
Adrian Schröder, Clemens Wrzodek, Johannes Wo...