1746 search results - page 271 / 350 » A linear implementation of PACMAN |
116
Voted
ICN
2009
Springer
15 years 8 months ago
2009
Springer
In contrast to classic train protection systems where most of the safety measures are built into the rail infrastructure, future versions of the European railway safety system ERT...
138
click to vote
IPMI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
124
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Gradient-domain compositing is an essential tool in computer vision and its applications, e.g., seamless cloning, panorama stitching, shadow removal, scene completion and...
128
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
106
click to vote
COCOON
2001
Springer
15 years 8 months ago
2001
Springer
A data structure called PC-tree is introduced as a generalization of PQ-trees. PC-trees were originally introduced in a planarity test of Shih and Hsu [7] where they represent par...