Sciweavers

128 search results - page 16 / 26
» Class Invariants by the CRT Method
Sort
View
ICMCS
2005
IEEE
182views Multimedia» more  ICMCS 2005»
14 years 29 days ago
An integrated approach for generic object detection using kernel PCA and boosting
In this paper we present a novel framework for generic object class detection by integrating Kernel PCA with AdaBoost. The classifier obtained in this way is invariant to changes...
Saad Ali, Mubarak Shah
REFLECTION
1999
Springer
13 years 11 months ago
jContractor: A Reflective Java Library to Support Design by Contract
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
Murat Karaorman, Urs Hölzle, John L. Bruno
CADE
2008
Springer
14 years 7 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
AI
2007
Springer
13 years 11 months ago
Performance Measures in Classification of Human Communications
This study emphasizes the importance of using appropriate measures in particular text classification settings. We focus on methods that evaluate how well a classifier performs. The...
Marina Sokolova, Guy Lapalme
ACCV
2007
Springer
14 years 1 months ago
Gesture Recognition Under Small Sample Size
This paper addresses gesture recognition under small sample size, where direct use of traditional classifiers is difficult due to high dimensionality of input space. We propose a ...
Tae-Kyun Kim, Roberto Cipolla