7918 search results - page 1306 / 1584 » Model Composition Directives |
111
click to vote
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...
149
click to vote
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...
141
Voted
SSD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Location-based services (LBS) are receiving increasing popularity as they provide convenience to mobile users with on-demand information. The use of these services, howev...
125
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
131
Voted
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...