Sciweavers

1416 search results - page 38 / 284
» Designing creative artificial systems
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 2 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
113
Voted
CGF
2008
103views more  CGF 2008»
15 years 2 months ago
An Example-based Procedural System for Element Arrangement
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
Takashi Ijiri, Radomír Mech, Takeo Igarashi...
CEC
2007
IEEE
15 years 8 months ago
Enabling generative behavior within an interactive evolutionary design system using a component-based representation
- The paper describes further research relating to an Interactive Evolutionary Design system (IEDS) with emphasis upon extending it to support free-form design. A generative feedba...
Azahar T. Machwe, Ian C. Parmee
93
Voted
ATAL
2006
Springer
15 years 5 months ago
TANDEM - a design method for integrating web services into multi-agent systems
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
Steve Goschnick, Sandrine Balbo, Leon Sterling, Ch...
TVLSI
2010
14 years 8 months ago
Low-Power Multimedia System Design by Aggressive Voltage Scaling
Mobile multimedia systems are growing in complexity, scalability and thus correspondingly in their implementation challenges. By design, these systems have built-in error resilienc...
Fadi J. Kurdahi, Ahmed M. Eltawil, Kang Yi, Stanle...