10891 search results - page 1828 / 2179 » Combining Model Reductions |
116
click to vote
PSIVT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Most previous methods for generic object recognition explicitly or implicitly assume that an image contains objects from a single category, although objects from multiple...
108
Voted
SAGT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
144
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
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...
139
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
125
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...