Sciweavers

1728 search results - page 187 / 346
» Social Computing: Fundamentals and applications
Sort
View
99
Voted
VISAPP
2007
14 years 11 months ago
Modeling non-gaussian noise for robust image analysis
Accurate noise models are important to perform reliable robust image analysis. Indeed, many vision problems can be seen as parameter estimation problems. In this paper, two noise m...
Sio-Song Ieng, Jean-Philippe Tarel, Pierre Charbon...
CGF
2000
106views more  CGF 2000»
14 years 10 months ago
Constructive Volume Geometry
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
Min Chen, J. V. Tucker
78
Voted
IVC
2002
102views more  IVC 2002»
14 years 10 months ago
A new approach to vanishing point detection in architectural environments
A man-made environment is characterized by many parallel lines and orthogonal edges. In this article, a new method for detecting the three mutually orthogonal directions of such a...
Carsten Rother
65
Voted
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
14 years 8 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic
LICS
2010
IEEE
14 years 8 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...