16516 search results - page 38 / 3304 » A New Approach for FCSRs |
83
Voted
ATMOS
2009
15 years 1 months ago
2009
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
109
Voted
MM
2010
ACM
15 years 22 days ago
2010
ACM
The problem of joint modeling the text and image components of multimedia documents is studied. The text component is represented as a sample from a hidden topic model, learned wi...
115
click to vote
BIRTHDAY
2010
Springer
15 years 22 days ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...