2316 search results - page 386 / 464 » The many forms of hypercomputation |
135
click to vote
P2P
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Grid resource providers can use gossiping to disseminate their available resource state to remote regions of the grid to attract application load. Pairwise gossiping pr...
133
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
134
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
XML query languages typically allow the specification of structural patterns of elements. Finding the occurrences of such patterns in an XML tree is the key operation in XML quer...
150
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Large archives of Ottoman documents are challenging to many historians all over the world. However, these archives remain inaccessible since manual transcription of such a huge vo...