351 search results - page 57 / 71 » Classical Logic with Partial Functions |
IMR
2003
Springer
15 years 2 months ago
2003
Springer
The quality of numerical simulations of processes that are modeled by partial differential equations strongly depends on the quality of the mesh that is used for their discretiza...
RT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Photo-realistic rendering algorithms such as Monte Carlo ray tracing sample individual paths to compute images. Noise and aliasing artefacts are usually reduced by supers...
GMP
2010
IEEE
15 years 1 months ago
2010
IEEE
Minimal surface is an important class of surfaces. They are widely used in the areas such as architecture, art and natural science etc.. On the other hand, subdivision technology h...
ANNPR
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...
DM
2008
14 years 9 months ago
2008
Fix nonnegative integers n1, . . . , nd and let L denote the lattice of integer points (a1, . . . , ad) Zd satisfying 0 ai ni for 1 i d. Let L be partially ordered by the usua...