1992 search results - page 120 / 399 » Memory modeling for system synthesis |
192
Voted
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
175
Voted
PG
2007
IEEE
16 years 2 days ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
165
click to vote
CG
2005
Springer
15 years 5 months ago
2005
Springer
In Chinese calligraphy cao shu is regarded as a kind of free form art which differs from other styles greatly in its less constrained strokes and brush textures. In this paper we ...
172
click to vote
CG
2004
Springer
15 years 5 months ago
2004
Springer
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
181
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...