2071 search results - page 201 / 415 » An Empirical Evaluation of LFG-DOP |
132
click to vote
WCE
2007
15 years 2 months ago
2007
—Building a time series forecasting model by independent component analysis mechanism presents in the paper. Different from using the time series directly with the traditional A...
103
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
112
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
113
click to vote
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
Multi-user virtual environments (MUVEs) seem to have great potential in education. Current educational uses of MUVEs seem to exploit them more as group interaction platforms and le...