Sciweavers

3058 search results - page 129 / 612
» Reflections on Reflections
Sort
View
ECCV
2002
Springer
14 years 11 months ago
A Stochastic Algorithm for 3D Scene Segmentation and Reconstruction
In this paper, we present a stochastic algorithm by effective Markov chain Monte Carlo (MCMC) for segmenting and reconstructing 3D scenes. The objective is to segment a range image...
Feng Han, Zhuowen Tu, Song Chun Zhu
CADE
2008
Springer
14 years 9 months ago
Linear Quantifier Elimination
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
Tobias Nipkow
CHI
2010
ACM
14 years 4 months ago
A stage-based model of personal informatics systems
People strive to obtain self-knowledge. A class of systems called personal informatics is appearing that help people collect and reflect on personal information. However, there is...
Ian Li, Anind K. Dey, Jodi Forlizzi
ICSM
2009
IEEE
14 years 4 months ago
Beyond generated software documentation - A web 2.0 perspective
Over the last decades, software engineering processes have constantly evolved to reflect cultural, social, technological, and organizational changes, which are often a direct resu...
Philipp Schügerl, Juergen Rilling, Philippe C...
ICAPR
2005
Springer
14 years 2 months ago
Attention Based Facial Symmetry Detection
Symmetry is a fundamental structure that is found to some extent in all images. It is thought to be an important factor in the human visual system for obtaining understanding and e...
Fred Stentiford