868 search results - page 14 / 174 » Debugging for Model Expansion |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
PE
2010
Springer
13 years 8 months ago
2010
Springer
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
PRICAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Humans can associate vision and language modalities and thus generate mental imagery, i.e. visual images, from linguistic input in an environment of unlimited inflowing i...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
Accurate estimation of fingerprint orientation field is an essential module in fingerprint recognition. This paper proposes a novel technique for improving fingerprint orientation ...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE