3191 search results - page 309 / 639 » Qualitative Modeling in Education |
KI
2004
Springer
15 years 6 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
113
Voted
PAKDD
2004
ACM
15 years 6 months ago
2004
ACM
In many cases, normal uses of a system form patterns that will repeat. The most common patterns can be collected into a prediction model which will essentially predict that usage p...
109
Voted
SAFECOMP
2004
Springer
15 years 6 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
107
Voted
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
140
Voted
KDD
1999
ACM
15 years 5 months ago
1999
ACM
It has been claimed that the discovery of association rules is well-suited for applications of market basket analysis to reveal regularities in the purchase behaviour of customers...