Sciweavers

185 search results - page 10 / 37
» Constructions of Grassmannian Simplices
Sort
View
TSP
2008
103views more  TSP 2008»
14 years 10 months ago
Low-Rank Variance Approximation in GMRF Models: Single and Multiscale Approaches
Abstract--We present a versatile framework for tractable computation of approximate variances in large-scale Gaussian Markov random field estimation problems. In addition to its ef...
Dmitry M. Malioutov, Jason K. Johnson, Myung Jin C...
116
Voted
SCCC
2008
IEEE
15 years 4 months ago
A Domain Specific Language for the Development of Collaborative Systems
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
Luis Mariano Bibbo, Diego García, Claudia P...
CIE
2005
Springer
15 years 3 months ago
A Logical Approach to Abstract Algebra
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
Thierry Coquand
SIGGRAPH
1997
ACM
15 years 2 months ago
Interactive multiresolution mesh editing
We describe a multiresolution representation for meshes based on subdivision, which is a natural extension of the existing patch-based surface representations. Combining subdivisi...
Denis Zorin, Peter Schröder, Wim Sweldens
SPLC
2004
14 years 11 months ago
A Methodology for the Derivation and Verification of Use Cases for Product Lines
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami...