8337 search results - page 1531 / 1668 » Reasoning With Characteristic Models |
140
Voted
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...
187
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
149
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
132
Voted
ESOP
2012
Springer
14 years 7 days ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
161
click to vote
POPL
2012
ACM
14 years 4 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...