2038 search results - page 118 / 408 » Probabilistic Agent Programs |
108
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
108
Voted
AUTOMATICA
2007
15 years 2 months ago
2007
ust control problems can be formulated in abstract form as convex feasibility programs, where one seeks a solution x that satisfies a set of inequalities of the form F . = {f (x,...
146
click to vote
JIRS
2008
15 years 2 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
124
Voted
UM
2005
Springer
15 years 8 months ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
107
Voted
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...