2446 search results - page 28 / 490 » First Smart Spaces |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
77
Voted
ILP
2004
Springer
15 years 3 months ago
2004
Springer
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
87
Voted
ECAL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
80
Voted
ASSETS
2000
ACM
15 years 2 months ago
2000
ACM
Line graphs stand as an established information visualisation and analysis technique taught at various levels of difficulty according to standard Mathematics curricula. Blind indi...
97
Voted
PUK
2000
14 years 11 months ago
2000
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...