Sciweavers

10435 search results - page 344 / 2087
» Measuring system normality
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Perceptual differentiation modeling explains phoneme mispronunciation by non-native speakers
One of the difficulties in second language (L2) learning is the weakness in discriminating between acoustic diversity within an L2 phoneme category and between different categori...
Christos Koniaris, Olov Engwall
197
Voted
AUSAI
2004
Springer
16 years 3 days ago
A Logic Based Approach for Dynamic Access Control
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
Vino Fernando Crescini, Yan Zhang
AUTOMATICA
2006
135views more  AUTOMATICA 2006»
15 years 6 months ago
Finite-time convergent gradient flows with applications to network consensus
This paper introduces the normalized and signed gradient dynamical systems associated with a differentiable function. Extending recent results on nonsmooth stability analysis, we ...
Jorge Cortés
162
Voted
IGPL
2007
107views more  IGPL 2007»
15 years 6 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay
SEMWEB
2010
Springer
15 years 4 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...