1912 search results - page 337 / 383 » GOAL as a Planning Formalism |
162
click to vote
TIM
2010
14 years 8 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
182
click to vote
CLIMA
2011
14 years 1 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
140
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
119
click to vote
PODS
2012
ACM
13 years 4 months ago
2012
ACM
In this paper we introduce a new and general privacy framework called Pufferfish. The Pufferfish framework can be used to create new privacy definitions that are customized t...
158
click to vote
AAAI
2012
13 years 4 months ago
2012
We explore the problem of assigning heterogeneous tasks to workers with different, unknown skill sets in crowdsourcing markets such as Amazon Mechanical Turk. We first formalize ...