5718 search results - page 355 / 1144 » Modeling Rule Precision |
200
click to vote
MVA
2002
15 years 6 months ago
2002
2 Related Works Gaussian mixtures are often used for data modeling in many real-time applications such as video background modeling and speaker direction tracking. The real-time a...
178
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
199
Voted
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
202
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel and fast shape classification and regularization algorithm for on-line sketchy graphics recognition is proposed. We divided the on-line graphics recognition process into f...
150
click to vote
STOC
2000
ACM
15 years 11 months ago
2000
ACM
We consider a new model for computing with uncertainty. It is desired to compute a function f X1; : : : ; Xn where X1; : : : ; Xn are unknown, but guaranteed to lie in speci ed i...