330 search results - page 24 / 66 » Intersection and Union Types |
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper presents the results of an empirical study of wireless propagation channels for vehicle-to-vehicle communications in street intersections, a scenario especially impor...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...
AGILE
2009
Springer
2009
Springer
Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations
14 years 2 months ago
Topological relations, which concern how two objects intersect, are one of the most fundamental and well-studied spatial relations. Typically, topological relations are distinguis...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We propose a novel algorithm for segmenting multiple motions of different types from point correspondences in multiple affine or perspective views. Since point trajectories associ...
ENTCS
2008
13 years 7 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...