Sciweavers

5227 search results - page 763 / 1046
» Enterprise modeling using class and instance models
Sort
View
PR
2010
156views more  PR 2010»
15 years 4 months ago
The hyperbolic smoothing clustering method
It is considered the minimum sum-of-squares clustering problem. The mathematical modeling of this problem leads to a min − sum − min formulation which, in addition to its intr...
Adilson Elias Xavier
INTERSPEECH
2010
15 years 1 months ago
Predicting word accuracy for the automatic speech recognition of non-native speech
We have developed an automated method that predicts the word accuracy of a speech recognition system for non-native speech, in the context of speaking proficiency scoring. A model...
Su-Youn Yoon, Lei Chen, Klaus Zechner
DEDS
1998
152views more  DEDS 1998»
15 years 6 months ago
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
SAC
2010
ACM
15 years 1 months ago
A study on interestingness measures for associative classifiers
Associative classification is a rule-based approach to classify data relying on association rule mining by discovering associations between a set of features and a class label. Su...
Mojdeh Jalali Heravi, Osmar R. Zaïane
TACAS
2007
Springer
158views Algorithms» more  TACAS 2007»
16 years 14 days ago
Automatic Analysis of the Security of XOR-Based Key Management Schemes
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
Véronique Cortier, Gavin Keighren, Graham S...