3330 search results - page 332 / 666 » software 2010 |
130
click to vote
VIROLOGY
2010
14 years 11 months ago
2010
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
166
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
156
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
131
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
141
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper introduces a binarization method based on edge for video text images, especially for images with complex background or low contrast. The binarization method first detec...