Sciweavers

2136 search results - page 40 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 4 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
96
Voted
ICANN
2009
Springer
15 years 7 months ago
Measuring and Optimizing Behavioral Complexity for Evolutionary Reinforcement Learning
Model complexity is key concern to any artificial learning system due its critical impact on generalization. However, EC research has only focused phenotype structural complexity ...
Faustino J. Gomez, Julian Togelius, Jürgen Sc...
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 5 months ago
Using GP to Model Contextual Human Behavior
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
Hans Fernlund, Avelino J. Gonzalez
WWW
2009
ACM
16 years 1 months ago
Collaborative filtering for orkut communities: discovery of user latent behavior
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...
WenYen Chen, Jon-Chyuan Chu, Junyi Luan, Hongjie B...
84
Voted
WSC
2001
15 years 1 months ago
Commander behavior and course of action selection in JWARS
The Joint Warfare System (JWARS) is being equipped with a Commander Model (CM) to perform situation assessment and Course of Action (COA) selection, and a Commander Behavior Model...
Deborah Vakas, John Prince, H. Ric Blacksten, Chuc...