Sciweavers

1108 search results - page 204 / 222
» Algorithm Transformation for FPGA Implementation
Sort
View
DAGSTUHL
1997
14 years 10 months ago
Simple, Fast, and Robust Ray Casting of Irregular Grids
In this paper we describe a simple and efficient ray casting engine that is suitable for the rapid exploration of irregular grids composed of tetrahedra cells, or other cell comp...
Paul Bunyk, Arie E. Kaufman, Cláudio T. Sil...
CG
2008
Springer
14 years 9 months ago
Barycentric coordinates computation in homogeneous coordinates
Homogeneous coordinates are often used in computer graphics and computer vision applications especially for the representation of geometric transformations. The homogeneous coordi...
Václav Skala
ASE
2006
161views more  ASE 2006»
14 years 9 months ago
Automated Prototyping of User Interfaces Based on UML Scenarios
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...
73
Voted
NJC
2006
86views more  NJC 2006»
14 years 9 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
TIP
2008
119views more  TIP 2008»
14 years 9 months ago
Complex Wavelet Bases, Steerability, and the Marr-Like Pyramid
Our aim in this paper is to tighten the link between wavelets, some classical image-processing operators, and David Marr's theory of early vision. The cornerstone of our appro...
Dimitri Van De Ville, Michael Unser