6018 search results - page 241 / 1204 » Factored Translation Models |
155
click to vote
DCC
2006
IEEE
16 years 5 months ago
2006
IEEE
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
164
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
124
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
174
click to vote
NIPS
2000
15 years 7 months ago
2000
We describe a joint probabilistic model for modeling the contents and inter-connectivity of document collections such as sets of web pages or research paper archives. The model is...
151
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a new connectionist model of the grounding of linguistic quantifiers in perception that takes into consideration the contextual factors affecting the use of vag...