Sciweavers

1461 search results - page 217 / 293
» On Regular Reduced Products
Sort
View
ICASSP
2009
IEEE
14 years 2 months ago
Unsupervised equalization of Lombard effect for speech recognition in noisy adverse environment
When exposed to environmental noise, speakers adjust their speech production to maintain intelligible communication. This phenomenon, called Lombard effect (LE), is known to consi...
Hynek Boril, John H. L. Hansen
ICIW
2009
IEEE
14 years 2 months ago
A Model-Driven Approach for Monitoring Business Performance in Web Service Compositions
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
Christof Momm, Michael Gebhart, Sebastian Abeck
IPPS
2009
IEEE
14 years 2 months ago
Power-aware dynamic task scheduling for heterogeneous accelerated clusters
Recent accelerators such as GPUs achieve better cost-performance and watt-performance ratio, while the range of their application is more limited than general CPUs. Thus heterogen...
Tomoaki Hamano, Toshio Endo, Satoshi Matsuoka
CSL
2009
Springer
14 years 2 months ago
Model Checking FO(R) over One-Counter Processes and beyond
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
Anthony Widjaja To
SAGT
2009
Springer
102views Game Theory» more  SAGT 2009»
14 years 2 months ago
Free-Riding and Free-Labor in Combinatorial Agency
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
Moshe Babaioff, Michal Feldman, Noam Nisan