3317 search results - page 149 / 664 » Strategies in Rigid-Variable Methods |
135
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
124
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
140
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, an approach to detection of caption text in video frames is described. Text recognition in video can be applied to various applications, however there are still pro...
139
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
156
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...