Sciweavers

2018 search results - page 128 / 404
» Code Normal Forms
Sort
View
74
Voted
ICASSP
2009
IEEE
15 years 9 months ago
WEB-derived pronunciations
Pronunciation information is available in large quantities on the Web, in the form of IPA and ad-hoc transcriptions. We describe techniques for extracting candidate pronunciations...
Arnab Ghoshal, Martin Jansche, Sanjeev Khudanpur, ...
ICA
2007
Springer
15 years 8 months ago
Modeling and Estimation of Dependent Subspaces with Non-radially Symmetric and Skewed Densities
We extend the Gaussian scale mixture model of dependent subspace source densities to include non-radially symmetric densities using Generalized Gaussian random variables linked by ...
Jason A. Palmer, Kenneth Kreutz-Delgado, Bhaskar D...
WOLLIC
2007
Springer
15 years 8 months ago
Hydra Games and Tree Ordinals
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
Ariya Isihara
VL
2006
IEEE
105views Visual Languages» more  VL 2006»
15 years 8 months ago
Crossmodal Interaction with Mobile Devices
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
Eve E. Hoggan, Stephen A. Brewster
AMAI
2004
Springer
15 years 8 months ago
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...