7167 search results - page 175 / 1434 » A Technique for Invariant Generation |
177
Voted
CP
2010
Springer
15 years 5 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...
183
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
189
click to vote
INFOCOM
2002
IEEE
16 years 1 days ago
2002
IEEE
— Third Generation (3G) Mobile Communication systems will provide enhanced high-speed data, multimedia, and voice services to mobile users. Beam forming techniques have been prop...
175
click to vote
VISUALIZATION
2002
IEEE
16 years 20 hour ago
2002
IEEE
Most systems used for creating and displaying colormap-based visualizations are not photometrically calibrated. That is, the relationship between RGB input levels and perceived lu...
208
Voted
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents an hybrid segmentation technique that combines both the speed of an edge based approach with the robustness of a surface based approach. It consists of three s...