5015 search results - page 701 / 1003 » Model Checking a Path |
169
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
114
Voted
RIVF
2007
15 years 8 months ago
2007
— We consider a propagation model under path loss, shadowing and multipath effects, where each cell are a Voronoi tessellation and the generating points of this cells are a unifo...
176
click to vote
TREC
2001
15 years 8 months ago
2001
For this year's web track, we concentrated on the entry page finding task. For the content-only runs, in both the ad-hoc task and the entry page finding task, we used an infor...
156
click to vote
WSC
2004
15 years 8 months ago
2004
Monte Carlo simulation can be readily applied to asset pricing problems with multiple state variables and possible path dependencies because convergence of Monte Carlo methods is ...
173
click to vote
WSC
2004
15 years 8 months ago
2004
Homeland defense applications will use large-scale ad-hoc networks of small devices. Routing is a crucial problem, for naive means do not scale well. Geographic Routing (GR) (Karp...