4911 search results - page 581 / 983 » Tree dependence analysis |
138
click to vote
ICDCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Group key agreement is a fundamental building block for secure peer group communication systems. Several group key agreement protocols were proposed in the last decade, all of the...
129
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
140
Voted
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we will present a comprehensive voting approach, taking entire layouts obtained from commercial OCR devices as input. Such a layout comprises segments of three kind...
129
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
162
click to vote
ICECCS
1996
IEEE
15 years 8 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...