9405 search results - page 331 / 1881 » Computing a Model of Set Theory |
137
click to vote
CII
2006
15 years 5 months ago
2006
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
120
Voted
CIE
2009
Springer
15 years 11 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
171
Voted
GMP
2010
IEEE
15 years 9 months ago
2010
IEEE
The Voronoi diagram is a fundamental geometry structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact 3D d...
174
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
134
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In seeking to model realistic room acoustics, direct numerical simulation can be employed. This paper presents 3D Finite Difference Time Domain schemes that incorporate losses at ...