7766 search results - page 376 / 1554 » Testing Nondeterminate Systems |
167
Voted
JCIT
2008
15 years 6 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
178
click to vote
JCIT
2008
15 years 6 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
212
click to vote
UMUAI
2002
15 years 6 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...
173
click to vote
IGARSS
2010
15 years 4 months ago
2010
Satellite Differential Radar Interferometry (DInSAR) has demonstrated its ability for monitoring mine-induced ground subsidence. However, it is still a challenging task to routine...
155
click to vote
WOA
2010
15 years 4 months ago
2010
Maritime search and rescue operations are critical missions involving personnel, boats, helicopter, aircrafts in a struggle against time often worsened by adversary sea and weather...