868 search results - page 50 / 174 » Debugging for Model Expansion |
ENTCS
2007
13 years 10 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
- In this paper, we propose an auto-companding technique for the analog behavioral modeling via wavelet collocation method. The companding function is automatically constructed acc...
ICPR
2004
IEEE
14 years 11 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...
TREC
2008
13 years 11 months ago
2008
: We describe our participation in the TREC 2008 Enterprise track and detail our language modeling-based approaches. For document search, our focus was on query expansion using pro...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...