9166 search results - page 393 / 1834 » A framework for comparing models of computation |
181
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
PAC-MDP algorithms approach the exploration-exploitation problem of reinforcement learning agents in an effective way which guarantees that with high probability, the algorithm pe...
143
click to vote
ATVA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
193
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
149
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a generalized demosaicking procedure suitable for single-sensor imaging devices. By employing an edge-sensing mechanism and a spectral model, the proposed demos...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...