Sciweavers

92 search results - page 5 / 19
» Automated Geometry Diagram Construction and Engineering Geom...
Sort
View
TVCG
2008
125views more  TVCG 2008»
13 years 7 months ago
Generic Remeshing of 3D Triangular Meshes with Metric-Dependent Discrete Voronoi Diagrams
In this paper, we propose a generic framework for 3D surface remeshing. Based on a metric-driven Discrete Voronoi Diagram construction, our output is an optimized 3D triangular mes...
Sébastien Valette, Jean-Marc Chassery, R&ea...
GIS
2010
ACM
13 years 6 months ago
Constrained free space diagrams: a tool for trajectory analysis
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
Kevin Buchin, Maike Buchin, Joachim Gudmundsson
LICS
2009
IEEE
14 years 2 months ago
Dinatural Terms in System F
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
Joachim De Lataillade
AES
2008
Springer
182views Cryptology» more  AES 2008»
13 years 7 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
VAMOS
2009
Springer
14 years 2 months ago
Some Challenges of Feature-based Merging of Class Diagrams
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
Germain Saval, Jorge Pinna Puissant, Patrick Heyma...