Sciweavers

1382 search results - page 109 / 277
» Procedural Generation of Roads
Sort
View
KBSE
2000
IEEE
15 years 8 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
DAGSTUHL
2008
15 years 6 months ago
Interactive Multiobjective Optimization Using a Set of Additive Value Functions
Abstract. In this chapter, we present a new interactive procedure for multiobjective optimization, which is based on the use of a set of value functions as a preference model built...
José Rui Figueira, Salvatore Greco, Vincent...
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
16 years 1 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
SIGGRAPH
1999
ACM
15 years 9 months ago
Art-based Rendering of Fur, Grass, and Trees
Artists and illustrators can evoke the complexity of fur or vegetation with relatively few well-placed strokes. We present an algorithm that uses strokes to render 3D computer gra...
Michael A. Kowalski, Lee Markosian, J. D. Northrup...
FASE
2009
Springer
15 years 8 months ago
Mining API Error-Handling Specifications from Source Code
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
Mithun Acharya, Tao Xie