1139 search results - page 87 / 228 » Bounded Ideation Theory |
Publication
We introduce a class of learning problems where the agent is presented with a series of tasks. Intuitively, if there is relation among those tasks, then the information gained duri...
PODS
2012
ACM
11 years 11 months ago
2012
ACM
We show that randomization can lead to significant improvements for a few fundamental problems in distributed tracking. Our basis is the count-tracking problem, where there are k...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
FMCAD
2006
Springer
14 years 25 days ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
HT
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we analyse web log data from user trials of the WHURLE-LS adaptive educational hypermedia (AEH) system from a behavioural perspective. This system allows users to s...