709 search results - page 86 / 142 » In-stroke word completion |
ECCV
2010
Springer
15 years 4 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...
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...
CAV
2001
Springer
15 years 4 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...
119
click to vote
COSIT
2001
Springer
15 years 4 months ago
2001
Springer
In the physical world, decision making in common navigation strategies is based on a mental map which includes a mental representation of geometric features such as distances and d...
WG
2001
Springer
15 years 4 months ago
2001
Springer
In a graph coloring, each color class induces a disjoint union of isolated vertices. A graph subcoloring generalizes this concept, since here each color class induces a disjoint un...