4502 search results - page 44 / 901 » Regular Model Checking |
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
For document images captured by a digital camera, perspective and geometric distortions make it hard to recognize the document content properly. In this paper, we propose an integ...
MCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Stacked generalization is a flexible method for multiple classifier combination; however, it tends to overfit unless the combiner function is sufficiently smooth. Prev...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
We demonstrate that regularization can improve feedback in a language modeling framework. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Relevance Fee...
WOSP
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
PCM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, we propose a new region-based image matching method to find the user defined regions in other images. We use color histogram and SAR (simultaneous autore...