11151 search results - page 47 / 2231 » On the Complexity of 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...
SKG
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...