9067 search results - page 1790 / 1814 » Adaptive Model Checking |
124
click to vote
CCIA
2009
Springer
15 years 3 months ago
2009
Springer
1 We adapt the Shout and Act algorithm to Digital Objects Preservation where agents explore file systems looking for digital objects to be preserved (victims). When they find somet...
116
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Human users trying to plan and accomplish informationdependent goals in highly dynamic environments with prevalent uncertainty must consult various types of information s...
132
click to vote
COMAD
2009
15 years 3 months ago
2009
We present a class of web queries whose result is a multi-column relation instead of a collection of unstructured documents as in standard web search. The user specifies the query...
134
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
This study proposes an agent-based model where adaptively learning agents with local vision who are situated in the Prisoner’s Dilemma game change their strategy and location as...
109
Voted
AIS
2010
Springer
15 years 2 months ago
2010
Springer
Although the intrinsic physicality of human beings has not changed in millennia, the species has managed to profoundly reconstitute the physical and social world it inhabits. Alth...