Sciweavers

158 search results - page 13 / 32
» Automated Lattice Drawing
Sort
View
CSL
2002
Springer
13 years 7 months ago
Weighted finite-state transducers in speech recognition
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...
Mehryar Mohri, Fernando Pereira, Michael Riley
ECSQARU
2009
Springer
14 years 2 months ago
Belief Functions and Cluster Ensembles
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...
Marie-Hélène Masson, Thierry Denoeux
LICS
2008
IEEE
14 years 2 months ago
Caterpillar Duality for Constraint Satisfaction Problems
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
Catarina Carvalho, Víctor Dalmau, Andrei A....
TARK
1998
Springer
13 years 12 months ago
Conditional, Hierarchical, Multi-Agent Preferences
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
Pierfrancesco La Mura, Yoav Shoham
DAC
2004
ACM
14 years 8 months ago
Automated energy/performance macromodeling of embedded software
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
Anish Muttreja, Anand Raghunathan, Srivaths Ravi, ...