1011 search results - page 97 / 203 » Numerical Constraints for XML |
194
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We propose a convex framework for silhouette and stereo fusion in 3D reconstruction from multiple images. The key idea is to show that the reconstruction problem can be cast as one...
277
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...
168
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Nonlinear partial differential equations (PDE) are now widely used to regularize images. They allow to eliminate noise and artifacts while preserving large global features, such as...
160
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
183
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...