2725 search results - page 146 / 545 » Constraint Solving for Interpolation |
158
click to vote
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
125
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Robustness and reliability are critical issues in network management. To provide resiliency, a popular protection scheme against network failures is the simultaneous ro...
126
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work we recover the 3D shape of mirroring objects such as mirrors, sunglasses, and stainless steel objects. A computer monitor displays several images of parallel stripes,...
126
click to vote
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
We propose a real-time method for rendering rigid objects with complex view-dependent effects under distant all-frequency lighting. Existing precomputed light transport approaches...
129
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...