3765 search results - page 637 / 753 » Qualitative Action Systems |
153
click to vote
AAAI
2011
14 years 5 months ago
2011
In this paper, we propose a novel decentralised control mechanism to manage micro-storage in the smart grid. Our approach uses an adaptive pricing scheme that energy suppliers app...
298
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
228
click to vote
JMLR
2012
13 years 8 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
183
click to vote
ATAL
2007
Springer
16 years 1 days ago
2007
Springer
Over the past few years, swarm based systems have emerged as an attractive paradigm for building large scale distributed systems composed of numerous independent but coordinating ...
212
click to vote
CCECE
2006
IEEE
15 years 12 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...