Sciweavers

1074 search results - page 142 / 215
» Rule sets based bilevel decision model
Sort
View
EAAI
2008
75views more  EAAI 2008»
15 years 6 months ago
Enacting agent-based services for automated procurement
Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buying agents when trying to determine the best set of provid...
Andrea Giovannucci, Juan A. Rodríguez-Aguil...
CAV
2006
Springer
132views Hardware» more  CAV 2006»
15 years 10 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SETN
2010
Springer
16 years 1 months ago
Feature Selection for Improved Phone Duration Modeling of Greek Emotional Speech
In the present work we address the problem of phone duration modeling for the needs of emotional speech synthesis. Specifically, relying on ten well known machine learning techniqu...
Alexandros Lazaridis, Todor Ganchev, Iosif Mporas,...
HPCA
2006
IEEE
16 years 6 months ago
Construction and use of linear regression models for processor performance analysis
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthav...
ACL
2003
15 years 7 months ago
Flexible Guidance Generation Using User Model in Spoken Dialogue Systems
We address appropriate user modeling in order to generate cooperative responses to each user in spoken dialogue systems. Unlike previous studies that focus on user’s knowledge o...
Kazunori Komatani, Shinichi Ueno, Tatsuya Kawahara...