1418 search results - page 185 / 284 » How to Explain Mistakes |
163
click to vote
ADAPTIVE
2007
Springer
16 years 1 days ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
141
click to vote
ATAL
2007
Springer
16 years 1 days ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
147
click to vote
CONCUR
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
167
click to vote
COSIT
2007
Springer
16 years 1 days ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
126
click to vote
CP
2007
Springer
16 years 1 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...