Sciweavers

14 search results - page 2 / 3
» An Outcome-Based Learning Model to Identify Emerging Threats...
Sort
View
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
13 years 11 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
IAT
2010
IEEE
13 years 3 months ago
Using a Social Orientation Model for the Evolution of Cooperative Societies
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana ...
GECCO
2005
Springer
166views Optimization» more  GECCO 2005»
13 years 10 months ago
The emulation of social institutions as a method of coevolution
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
Deborah Vakas Duong, John J. Grefenstette
GECCO
2006
Springer
134views Optimization» more  GECCO 2006»
13 years 9 months ago
The Baldwin effect under spatial isolation and autonomous reproduction
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...
H. L. Peng, J. C. Tay
WWW
2003
ACM
14 years 6 months ago
Mining topic-specific concepts and definitions on the web
Traditionally, when one wants to learn about a particular topic, one reads a book or a survey paper. With the rapid expansion of the Web, learning in-depth knowledge about a topic...
Bing Liu, Chee Wee Chin, Hwee Tou Ng