5015 search results - page 564 / 1003 » Model Checking a Path |
160
click to vote
PADS
2006
ACM
16 years 25 days ago
2006
ACM
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
179
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we address the problem of recognizing moving objects in videos by utilizing synthetic 3D models. We use only the silhouette space of the synthetic models making thus...
151
click to vote
JSW
2008
15 years 6 months ago
2008
Precise analysis of the Web structure can facilitate data pre-processing and enhance the accuracy of the mining results in the procedure of Web usage mining. STPN Stochastic Timed...
160
click to vote
ENVSOFT
2010
15 years 4 months ago
2010
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
231
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...