Sciweavers

378 search results - page 13 / 76
» Automating Coinduction with Case Analysis
Sort
View
NAACL
2004
14 years 8 days ago
Optimizing Automated Call Routing by Integrating Spoken Dialog Models with Queuing Models
Organizations are increasingly turning to spoken dialog systems for automated call routing to reduce call center costs. To maintain quality service even in cases of failure, these...
Tim Paek, Eric Horvitz
ETFA
2006
IEEE
14 years 5 months ago
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
Jürgen Greifeneder, Georg Frey
AIED
2005
Springer
14 years 4 months ago
Factors Influencing Effectiveness in Automated Essay Scoring with LSA
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
Fridolin Wild, Christina Stahl, Gerald Stermsek, Y...
AOSE
2005
Springer
14 years 4 months ago
Automating Model Transformations in Agent-Oriented Modelling
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
Anna Perini, Angelo Susi
ICST
2010
IEEE
13 years 8 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...