1336 search results - page 57 / 268 » An approach to stopping problems of a dynamic fuzzy system |
138
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
134
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...
101
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
142
click to vote
PAAMS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract This paper contributes to the design of intelligent buildings. A MultiAgents Home Automation System (MAHAS) is proposed which controls appliances and energy sources in bui...
NIPS
2003
15 years 2 months ago
2003
Online mechanism design (MD) considers the problem of providing incentives to implement desired system-wide outcomes in systems with self-interested agents that arrive and depart ...