5948 search results - page 780 / 1190 » Computing Robust Counter-Strategies |
240
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
220
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
220
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
187
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
222
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...