7811 search results - page 392 / 1563 » computer 2004 |
198
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
When comparing different methods for face detection or localization, one realizes that just simply comparing the reported results is misleading as, even if the results are reporte...
156
click to vote
WG
2004
Springer
16 years 1 days ago
2004
Springer
We propose a two-phase heuristic for crossing reduction in circular layouts. While the first algorithm uses a greedy policy to build a good initial layout, an adaptation of the si...
154
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper describes a method for curvature dependant Skeletonisation in grey-scale images. We commence from a magnetostatic analogy, where the tangential edge flow (the cross pro...
178
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper the segmentation of a meeting into meeting events is investigated as well as the recognition of the detected segments. First the classification of a meeting event is...