859 search results - page 6 / 172 » Implementing CMMI using a Combination of Agile Methods |
128
click to vote
DLOG
2001
15 years 2 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
131
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
131
click to vote
MCETECH
2009
Springer
15 years 7 months ago
2009
Springer
Text-based passwords alone are subject to dictionary attacks as users tend to choose weak passwords in favor of memorability, as well as phishing attacks. Many recognition-based gr...
130
click to vote
ICIAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
135
click to vote
DRR
2008
15 years 2 months ago
2008
Adaptive binarization is an important first step in many document analysis and OCR processes. This paper describes a fast adaptive binarization algorithm that yields the same qual...