3228 search results - page 365 / 646 » Computationally Sound Proofs |
133
click to vote
NIPS
2007
15 years 5 months ago
2007
The present work aims to model the correspondence between facial motion and speech. The face and sound are modelled separately, with phonemes being the link between both. We propo...
115
click to vote
ICAD
2004
15 years 5 months ago
2004
Radio is the ultimate auditory display: all information is conveyed aurally to a listener. Sound from a radio invokes visual images in the imagination of a listener, the theatre o...
104
click to vote
AIPS
2003
15 years 5 months ago
2003
Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To d...
131
click to vote
ECIS
2003
15 years 5 months ago
2003
Research problems in ICT networks often comprise coordination problems of information infrastructures and require state-of-the-art methods of coping with complex system dynamics. ...
128
click to vote
AAAI
1998
15 years 5 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...