3928 search results - page 358 / 786 » order 2006 |
183
Voted
CPAIOR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
188
click to vote
CSCWD
2006
Springer
15 years 11 months ago
2006
Springer
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
217
Voted
CSL
2006
Springer
15 years 11 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
216
click to vote
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a method for determining the vignetting function given only a single image. Our method is designed to handle both textured and untextured regions in orde...
224
click to vote
DAGM
2006
Springer
15 years 11 months ago
2006
Springer
We propose a probabilistic formulation of 3D segmentation given a series of images from calibrated cameras. Instead of segmenting each image separately in order to build a 3D surfa...