4524 search results - page 333 / 905 » The Complexity of Global Constraints |
190
click to vote
GMP
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper, we propose to combine Kazhdan’s FFT-based approach to surface reconstruction from oriented points with adaptive subdivision and partition of unity blending techni...
182
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
169
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
167
click to vote
SAINT
2003
IEEE
16 years 4 days ago
2003
IEEE
Web service technologies promise to facilitate collaboration among business partners by helping potential business partners find one another and integrate their business processe...
181
Voted
APN
2003
Springer
16 years 3 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...