762 search results - page 65 / 153 » Conditionally correct superoptimization |
ICPR
2008
IEEE
2008
IEEE
Figure-ground discrimination and distortion-tolerant recognition of color characters in scene images
14 years 4 months ago
This paper proposes a new technique of figureground discrimination of color characters in scene images following two steps. The first step is temporary binarization by selecting o...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Inference of the routing topology and link performance from a node to a set of other nodes is an important component of network monitoring and application design. In thi...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
CSCLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
GPCE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...