Sciweavers

6906 search results - page 56 / 1382
» An algorithm for modelling key terms
Sort
View
GECCO
2010
Springer
186views Optimization» more  GECCO 2010»
15 years 5 months ago
Genetic rule extraction optimizing brier score
Most highly accurate predictive modeling techniques produce opaque models. When comprehensible models are required, rule extraction is sometimes used to generate a transparent mod...
Ulf Johansson, Rikard König, Lars Niklasson
JACM
2000
119views more  JACM 2000»
15 years 3 months ago
A minimum spanning tree algorithm with Inverse-Ackermann type complexity
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...
Bernard Chazelle
123
Voted
VSTTE
2005
Springer
15 years 9 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
142
Voted
SWARM
2010
SPRINGER
231views Optimization» more  SWARM 2010»
15 years 9 months ago
Hybrid Particle Swarm and Conjugate Gradient Optimization Algorithm
Abstract. In this work we propose a different particle swarm optimization (PSO) algorithm that employs two key features of the conjugate gradient (CG) method. Namely, adaptive wei...
Abdallah Qteish, Mohammad Hamdan
116
Voted
TAP
2010
Springer
191views Hardware» more  TAP 2010»
15 years 2 months ago
Mesh saliency and human eye fixations
raction, simplification, segmentation, illumination, rendering, and illustration. Even though this technique is inspired by models of low-level human vision, it has not yet been v...
Youngmin Kim, Amitabh Varshney, David W. Jacobs, F...