1670 search results - page 71 / 334 » Fast Computation of Data Correlation Using BDDs |
147
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
184
Voted
CCA
2009
Springer
15 years 7 months ago
2009
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...
110
Voted
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
Content delivery is becoming increasingly popular on the Internet. There are many ways to match content to subscribers. In this paper, we focus on subsumption-based matching. We p...
112
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
To support real-time computation with large, possibly evolving point clouds and range data, we fit a trimmed uniform tensor-product spline function from one direction. The graph ...
112
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper proposes an approach to 2D gesture recognition that models each gesture as a Finite State Machine (FSM) in spatial-temporal space. The model construction works in a sem...