4949 search results - page 153 / 990 » Consistency and Set Intersection |
135
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
177
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
The projections of world parallel lines in an image intersect at a single point called the vanishing point (VP). VPs are a key ingredient for various vision tasks including rotati...
143
click to vote
JGS
2006
15 years 4 months ago
2006
Map comparison techniques based on a pixel-by-pixel comparison are useful for many purposes, but fail to reveal important aspects of map similarities and differences. In contrast, ...
177
click to vote
SODA
2012
ACM
13 years 7 months ago
2012
ACM
Bidimensionality theory was introduced by Demaine et al. [JACM 2005 ] as a framework to obtain algorithmic results for hard problems on minor closed graph classes. The theory has ...
123
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...