4211 search results - page 417 / 843 » Types as Abstract Interpretations |
160
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
192
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Despite the recent advances in search quality, the fast increase in the size of the Web collection has introduced new challenges for Web ranking algorithms. In fact, there are sti...
188
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
173
Voted
DAS
2010
Springer
15 years 10 months ago
2010
Springer
A novel text extraction method from graphical document images is presented in this paper. Graphical document images containing text and graphics components are considered as two-d...
156
click to vote
BMVC
2001
15 years 9 months ago
2001
Hue provides a useful and intuitive cue that is used in a variety of computer vision applications. Hue is an attractive feature as it captures intrinsic information about the colo...