2778 search results - page 325 / 556 » Limit complexities revisited |
270
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
153
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
152
click to vote
MFCS
2007
Springer
16 years 22 days ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
178
click to vote
ACSC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
155
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...