187 search results - page 20 / 38 » Limits and Possibilities of BDDs in State Space Search |
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we consider distributed K-Nearest Neighbor (KNN) search and range query processing in high dimensional data. Our approach is based on Locality Sensitive Hashing (LSH...
ICCV
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...