Sciweavers

15375 search results - page 128 / 3075
» cans 2008
Sort
View
CGF
1999
144views more  CGF 1999»
13 years 7 months ago
Occluder Shadows for Fast Walkthroughs of Urban Environments
This paper describes a new algorithm that employs image-based rendering for fast occlusion culling in complex urban environments. It exploits graphics hardware to render and autom...
Peter Wonka, Dieter Schmalstieg
CADE
2008
Springer
14 years 8 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
COLING
1996
13 years 9 months ago
Building Knowledge Bases for the Generation of Software Documentation
Automated text generation requires a underlying knowledge base fl'om which to generate, which is often difficult to produce. Software documentation is one domain in which par...
Cécile Paris, Keith Vander Linden
CSDA
2008
111views more  CSDA 2008»
13 years 8 months ago
Automatic bandwidth selection for circular density estimation
Given angular data 1, . . . , n [0, 2) a common objective is to estimate the density. In the case that a kernel estimator is used, bandwidth selection is crucial to the performan...
Charles C. Taylor
TMI
2002
120views more  TMI 2002»
13 years 7 months ago
Exact Frequency-Domain Reconstruction for Thermoacoustic Tomography: I. Planar Geometry
Abstract--We report an exact and fast Fourier-domain reconstruction algorithm for thermoacoustic tomography in a planar configuration assuming thermal confinement and constant acou...
Yuan Xu, Dazi Feng, Lihong V. Wang