3731 search results - page 303 / 747 » cases 2006 |
161
click to vote
ICPR
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we present a binarization technique specifically designed for historical document images. Existing methods for this problem focus on either finding a good global th...
192
click to vote
IWPC
2006
IEEE
16 years 22 days ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
188
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
182
click to vote
NIPS
2008
15 years 8 months ago
2008
We describe a primal-dual framework for the design and analysis of online strongly convex optimization algorithms. Our framework yields the tightest known logarithmic regret bound...
172
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...