4341 search results - page 596 / 869 » Quantitative Model checking |
180
click to vote
ACCV
2006
Springer
16 years 18 days ago
2006
Springer
In many visual tracking and surveillance systems, it is important to initialize a background model using a training video sequence which may include foreground objects. In such a c...
184
Voted
PAKDD
2004
ACM
15 years 12 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...
176
click to vote
SAFECOMP
2004
Springer
15 years 12 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. ...
173
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
214
click to vote
KDD
1999
ACM
15 years 11 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...