3105 search results - page 542 / 621 » The Path-Packing Structure of Graphs |
122
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
157
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
123
click to vote
MMSP
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider a new problem in network image coding for multicast. In a multihop mesh network, structured as a directed graph, all nodes decode and display reconstructions of the ...
149
click to vote
MMSP
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we propose a framework to extend semantic labeling of images to video shot sequences and achieve efficient and semantic-aware spatiotemporal video segmentation. ...
175
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
–The OBSERVER is a video surveillance system that detects and predicts abnormal behaviors aiming at the intelligent surveillance concept. The system acquires color images from a ...