Sciweavers

3233 search results - page 324 / 647
» Validation Method for Intelligent Systems
Sort
View
116
Voted
CSL
2006
Springer
15 years 4 months ago
Robust estimation, interpretation and assessment of likelihood ratios in forensic speaker recognition
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
Joaquin Gonzalez-Rodriguez, Andrzej Drygajlo, Dani...
ICALT
2009
IEEE
15 years 2 months ago
Eye-Tracking Users' Behavior in Relation to Cognitive Style within an E-learning Environment
Eye-tracking measurements may be used as a method of identifying users' actual behavior in a hypermedia setting. In this research, an eye-tracking experiment was conducted in...
Nikos Tsianos, Panagiotis Germanakos, Zacharias Le...
EDOC
2007
IEEE
15 years 11 months ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 10 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
CANDC
2006
ACM
15 years 4 months ago
Predicting O-glycosylation sites in mammalian proteins by using SVMs
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
Sujun Li, Boshu Liu, Rong Zeng, Yu-Dong Cai, Yixue...