Sciweavers

101 search results - page 3 / 21
» Classifying Change Types for Qualifying Change Couplings
Sort
View
ESOP
2004
Springer
13 years 10 months ago
ML-Like Inference for Classifiers
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
Cristiano Calcagno, Eugenio Moggi, Walid Taha
CRV
2008
IEEE
142views Robotics» more  CRV 2008»
13 years 8 months ago
Invariant Classification of Gait Types
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...
Preben Fihl, Thomas B. Moeslund
SQJ
2008
74views more  SQJ 2008»
13 years 6 months ago
Quantitatively measuring object-oriented couplings
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
Jeff Offutt, Aynur Abdurazik, Stephen R. Schach
ICPR
2004
IEEE
14 years 7 months ago
The Characterization of Classification Problems by Classifier Disagreements
In this paper we try to characterize a set of classification problems. For this, we use the disagreement between a set of standard classifiers. The disagreement patterns do not on...
David M. J. Tax, Elzbieta Pekalska, Robert P. W. D...
BIRTHDAY
2005
Springer
13 years 8 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...