Sciweavers

785 search results - page 119 / 157
» Teaching computer graphics constructively
Sort
View
AIMSA
1998
Springer
15 years 7 months ago
A Blackboard Architecture for Guiding Interactive Proofs
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
Christoph Benzmüller, Volker Sorge
UAI
2004
15 years 4 months ago
From Fields to Trees
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
Firas Hamze, Nando de Freitas
JCP
2007
214views more  JCP 2007»
15 years 3 months ago
Reconstruction of 3D Human Facial Images Using Partial Differential Equations
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
Eyad Elyan, Hassan Ugail
236
Voted

Source Code
9636views
17 years 3 months ago
2D-3D Automatic Mesh Generation
NETGEN is an open source automatic mesh generation tool for two and three dimensions. It comes as a stand alone program with graphical user interface, or as a C++ library to be lin...
Joachim Schöberl

Publication
404views
16 years 2 days ago
Bayesian variable order Markov models.
We present a simple, effective generalisation of variable order Markov models to full online Bayesian estimation. The mechanism used is close to that employed in context tree wei...
Christos Dimitrakakis