Sciweavers

6514 search results - page 776 / 1303
» Low-Knowledge Algorithm Control
Sort
View
RTSS
2005
IEEE
15 years 10 months ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
156
Voted
AISADM
2005
Springer
15 years 10 months ago
Execution Engine of Meta-learning System for KDD in Multi-agent Environment
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
Ping Luo, Qing He, Rui Huang, Fen Lin, Zhongzhi Sh...
140
Voted
EGH
2005
Springer
15 years 10 months ago
Fully procedural graphics
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
Turner Whitted, James T. Kajiya
138
Voted
GECCO
2005
Springer
128views Optimization» more  GECCO 2005»
15 years 10 months ago
Fitness-based neighbor selection for multimodal function optimization
We propose a selection scheme called Fitness-based Neighbor Selection (FNS) for multimodal optimization. The FNS is aimed for ill-scaled and locally multimodal domain, both found ...
Shin Ando, Shigenobu Kobayashi
117
Voted
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving an ecology of two-tiered organizations
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
Travis Kriplean