1236 search results - page 54 / 248 » Programming by Demonstration for Information Agents |
112
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In repeated games with incomplete information, rational agents must carefully weigh the tradeoffs of advantageously exploiting their information to achieve a short-term gain versu...
IJWMC
2010
14 years 8 months ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...
110
click to vote
FMCAD
2008
Springer
15 years 19 days ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
NIPS
2004
15 years 14 days ago
2004
We propose a sequential information maximization model as a general strategy for programming eye movements. The model reconstructs high-resolution visual information from a sequen...
89
Voted
COREGRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...