Sciweavers

1382 search results - page 19 / 277
» Procedural Generation of Roads
Sort
View
IGPL
2000
152views more  IGPL 2000»
13 years 7 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
RT
2004
Springer
14 years 22 days ago
Rendering Procedural Terrain by Geometry Image Warping
We describe an approach for rendering large terrains in real-time. A digital elevation map defines the rough shape of the terrain. During rendering, procedural geometric and text...
Carsten Dachsbacher, Marc Stamminger
CGF
2011
12 years 11 months ago
Interactive Modeling of City Layouts using Layers of Procedural Content
In this paper, we present new solutions for the interactive modeling of city layouts that combine the power of procedural modeling with the flexibility of manual modeling. Proced...
Markus Lipp, Daniel Scherzer, Peter Wonka, Michael...
ECP
1999
Springer
157views Robotics» more  ECP 1999»
13 years 11 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
ISLPED
1997
ACM
106views Hardware» more  ISLPED 1997»
13 years 11 months ago
A sequential procedure for average power analysis of sequential circuits
A new statistical technique for average power estimation in sequential circuits is presented. Due to the feedback mechanism, conventional statistical procedures cannot be applied ...
Li-Pen Yuan, Sung-Mo Kang