5267 search results - page 945 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
135
Voted
ACSAC
2010
IEEE
15 years 17 days ago
2010
IEEE
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
118
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
123
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
130
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Temporal difference reinforcement learning algorithms are perfectly suited to autonomous agents because they learn directly from an agent’s experience based on sequential actio...
124
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...