12052 search results - page 482 / 2411 » computing 2010 |
144
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose a novel method for the refinement of Maximally Stable Extremal Region (MSER) boundaries to sub-pixel precision by taking into account the intensity function in the 2
142
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
Existing development tools provide little out-of-the-box assistance in order to design and develop accessible ICT Java solutions for impaired users. Two new approximation simulatio...
222
click to vote
COCO
2010
Springer
15 years 10 months ago
2010
Springer
—We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC1 = Log(CFL)) can be accepted by a symm...
110
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
144
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--A new generic scheme for incremental implementations of distance transforms (DT) is presented: Incremental Distance Transforms (IDT). This scheme is applied on the citybl...