15840 search results - page 2872 / 3168 » The Control of Synchronous Systems |
164
Voted
AIED
2005
Springer
16 years 8 days ago
2005
Springer
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
165
click to vote
AP2PC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...
183
click to vote
ASIACRYPT
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...
165
Voted
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...
172
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...