174 search results - page 4 / 35 » Traces of Term-Automatic Graphs |
133
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Graph structures have been proved important in high level-vision since they can be used to represent structural and relational arrangements of objects in a scene. One of the probl...
182
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
146
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
The use of an alphabet of line segments to compose a curve is a possible approach for curve data compression. An existing state-of-the-art method considers a quadtree decompositio...
MFCS
1999
Springer
15 years 8 months ago
1999
Springer
175
click to vote
FUIN
2007
15 years 3 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...