104 search results - page 16 / 21 » A Canonical Scheme for Model Composition |
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we propose to address the energy efficient routing problem in multi-hop wireless networks with accumulative relay. In the accumulative relay model, partially ov...
PAMI
2012
11 years 10 months ago
2012
— Over the last century, Component Analysis (CA) methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA), Canonical Correlation Analysis (CCA), Lap...