956 search results - page 132 / 192 » Languages as libraries |
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
111
click to vote
SIGMOD
2001
ACM
15 years 12 months ago
2001
ACM
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...