منابع مشابه
Generating Path Conditions for Timed Systems
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of code in isolation, i.e., without providing the exact values of parameters with which it is called. Our method can also be used for the automatic generation of test cases for unit testing. The current generalization of ...
متن کاملAnalysis of the Relationship between Visual Stimulus Quality and Idea Generating in Enhancing Creativity
"Design Idea" is very important in architectural education and a lot of research has been done in this field. In the ateliers, students are advised to look at and review a few examples of design-related issues before starting architectural design. The case of student sketching is a visual stimulus. The purpose of the present study was to analyze the relationship between the quality of visual st...
متن کاملComputational Creativity: Generating new objects with a hierarchical Bayesian model
People can create impressive new objects: an architect designs new houses, a cook designs new recipes, and an entrepreneur designs new companies. On the other hand, computers are better known for consistency than creativity, and thus the computational basis of creativity remains mysterious. Recent work suggests that probabilistic generative models can capture how people generate simple types of...
متن کاملCrowdsourcing Creativity: Generating and Combining Ideas using Crowds
We introduce and test a crowdsourcing technique for creative problem solving. In total, 1853 workers from Amazon’s Mechanical Turk produced 468 ideas for solving the 2010 oil spill problem in the Gulf of Mexico. In our technique, one crowd generated initial ideas, another crowd evaluated the creativity of these ideas, and yet another crowd combined pairs of ideas produced by the previous crowd....
متن کاملGenerating Poetry from a Prose Text: Creativity versus Faithfulness
ASPERA is a case based reasoning application that generates poetry versions of texts provided by the user. The cases on its case base consist of a sentence of prose (used as retrieval key) associated with a corresponding poem fragment (used as starting point for the solution). Each case includes information about how the words in the prose text are related to the words in the poetry solution. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: TRENDS IN THE SCIENCES
سال: 2002
ISSN: 1884-7080,1342-3363
DOI: 10.5363/tits.7.2_8