Sciweavers

4276 search results - page 194 / 856
» Techniques for Empirical Validation
Sort
View
JOT
2010
142views more  JOT 2010»
15 years 5 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
PPSN
2010
Springer
15 years 5 months ago
Comparison-Based Optimizers Need Comparison-Based Surrogates
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
Ilya Loshchilov, Marc Schoenauer, Michèle S...
ICIDS
2010
Springer
15 years 4 months ago
Measuring User Responses to Interactive Stories: Towards a Standardized Assessment Tool
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated inter...
Ivar E. Vermeulen, Christian Roth, Peter Vorderer,...
IEAAIE
2010
Springer
15 years 4 months ago
Predicting the Development of Juvenile Delinquency by Simulation
A large number of delinquent activities are performed by adolescents and only occur during this period in their lives. One of the main factors that influence this behaviour is soci...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...
SIGDIAL
2010
15 years 4 months ago
Probabilistic Ontology Trees for Belief Tracking in Dialog Systems
We introduce a novel approach for robust belief tracking of user intention within a spoken dialog system. The space of user intentions is modeled by a probabilistic extension of t...
Neville Mehta, Rakesh Gupta, Antoine Raux, Deepak ...