4167 search results - page 330 / 834 » Regression model checking |
147
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
167
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
112
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
111
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper describes novel method of path loss modeling for radio communication channels in container port area. Multi-variate empirical model is presented, based on multidimen...
136
click to vote
HLK
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper model-based reconstruction methods are applied to the detailed reconstruction of buildings from close-range images. The 3D points obtained through image matching are...