12052 search results - page 606 / 2411 » computing 2010 |
168
click to vote
ICPR
2010
IEEE
16 years 22 days ago
2010
IEEE
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
209
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
183
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper we present a procedure for removing ruling lines from a handwritten document image that does not break existing characters. We take advantage of common ruling line p...
172
click to vote
NAACL
2010
15 years 5 months ago
2010
In this paper we report a behavioural experiment documenting that different lexicosyntactic formulations of the discourse relation of causation are deemed more or less acceptable ...
163
click to vote
NAACL
2010
15 years 5 months ago
2010
Recent work has proposed the use of an extracted tree grammar as the basis for treebank analysis and search queries, in which queries are stated over the elementary trees, which a...