Sciweavers

2018 search results - page 82 / 404
» Code Normal Forms
Sort
View
INTERSPEECH
2010
14 years 9 months ago
Context adaptive training with factorized decision trees for HMM-based speech synthesis
To achieve natural high quality synthesised speech in HMMbased speech synthesis, the effective modelling of complex acoustic and linguistic contexts is critical. Traditional appro...
Kai Yu, Heiga Zen, François Mairesse, Steve...
IEEECGIV
2009
IEEE
15 years 8 months ago
A Framework on the Applications of Interactive Art
—With the fusion in the world of art and science, technology has made a dent in the course of art, and there is now a time and place for those actively interested in both the aca...
Teeragit Nasaree Hare, Natasha Dejdumrong
PODS
2009
ACM
134views Database» more  PODS 2009»
16 years 2 months ago
Equivalence of nested queries with mixed semantics
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...
David DeHaan
DLT
2006
15 years 3 months ago
Well-Founded Semantics for Boolean Grammars
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
Vassilis Kountouriotis, Christos Nomikos, Panos Ro...
108
Voted
DAC
2003
ACM
16 years 3 months ago
Checking satisfiability of a conjunction of BDDs
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
Robert F. Damiano, James H. Kukula