Sciweavers

260 search results - page 29 / 52
» An Approach to the Use and Automatic Generation of Web-Based...
Sort
View
UML
2005
Springer
14 years 26 days ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
ICASSP
2008
IEEE
14 years 1 months ago
Discriminative feature weighting using MCE training for topic identification of spoken audio recordings
In this paper we investigate a discriminative approach to feature weighting for topic identification using minimum classification error (MCE) training. Our approach learns featu...
Timothy J. Hazen, Anna Margolis
FASE
2011
Springer
12 years 11 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
ECCV
2002
Springer
14 years 9 months ago
Hierarchical Shape Modeling for Automatic Face Localization
Many approaches have been proposed to locate faces in an image. There are, however, two problems in previous facial shape models using feature points. First, the dimension of the s...
Ce Liu, Heung-Yeung Shum, Changshui Zhang
AAAI
2006
13 years 8 months ago
Learning Blocking Schemes for Record Linkage
Record linkage is the process of matching records across data sets that refer to the same entity. One issue within record linkage is determining which record pairs to consider, si...
Matthew Michelson, Craig A. Knoblock