1649 search results - page 250 / 330 » Improved Matrix Interpretation |
88
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents results of an extensive long-term clickstream study of Web browser usage. Focusing on character and challenges of page revisitation, previous findings from sev...
ICSE
2004
IEEE-ACM
16 years 23 days ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
133
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
121
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a rule-based approach that utilizes some types of contextual information to improve the accuracy of handwritten mathematical expression(ME) recognition. Mining...
103
click to vote
WIAMIS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...