Sciweavers

10700 search results - page 19 / 2140
» Generative Design Patterns
Sort
View
79
Voted
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 1 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
88
Voted
TOG
2008
92views more  TOG 2008»
14 years 9 months ago
Self-animating images: illusory motion using repeated asymmetric patterns
Illusory motion in a still image is a fascinating research topic in the study of human motion perception. Physiologists and psychologists have attempted to understand this phenome...
Ming-Te Chi, Tong-Yee Lee, Yingge Qu, Tien-Tsin Wo...
62
Voted
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
15 years 3 months ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
75
Voted
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
15 years 4 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
AIIDE
2007
14 years 12 months ago
A Demonstration of SQUEGE: A CRPG Sub-Quest Generator
Scripting the plot in a computer role-playing game requires a large number of scripts that are difficult to program, track and maintain. Game adventures often include simple plot...
Curtis Onuczko, Duane Szafron, Jonathan Schaeffer,...