Sciweavers

883 search results - page 120 / 177
» The Semantics of Verilog Using Transition System Combinators
Sort
View
ACL
2009
13 years 7 months ago
Case markers and Morphology: Addressing the crux of the fluency problem in English-Hindi SMT
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...
Ananthakrishnan Ramanathan, Hansraj Choudhary, Avi...
ACCV
2010
Springer
13 years 4 months ago
Social Interactive Human Video Synthesis
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
Dumebi Okwechime, Eng-Jon Ong, Andrew Gilbert, Ric...
SAT
2009
Springer
91views Hardware» more  SAT 2009»
14 years 3 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
SNPD
2010
13 years 7 months ago
Ambiguous Arabic Words Disambiguation
In this paper we propose an hybrid system of Arabic words disambiguation. To achieve this goal we use the methods employed in the domain of information retrieval: Latent semantic ...
Laroussi Merhbene, Anis Zouaghi, Mounir Zrigui
SIGGRAPH
2010
ACM
14 years 1 months ago
Ambient point clouds for view interpolation
View interpolation and image-based rendering algorithms often produce visual artifacts in regions where the 3D scene geometry is erroneous, uncertain, or incomplete. We introduce ...
Michael Goesele, Jens Ackermann, Simon Fuhrmann, C...