Sciweavers

1738 search results - page 163 / 348
» Local Consistency and SAT-Solvers
Sort
View
ALIFE
2006
13 years 10 months ago
Axiomatic Scalable Neurocontroller Analysis via the Shapley Value
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
Alon Keinan, Ben Sandbank, Claus C. Hilgetag, Isaa...
JSS
2006
78views more  JSS 2006»
13 years 10 months ago
An empirical study of process-related attributes in segmented software cost-estimation relationships
Parametric software effort estimation models consisting on a single mathematical relationship suffer from poor adjustment and predictive characteristics in cases in which the hist...
Juan Jose Cuadrado-Gallego, Miguel-Ángel Si...
PR
2008
131views more  PR 2008»
13 years 10 months ago
A memetic algorithm for evolutionary prototype selection: A scaling up approach
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...
Salvador García, José Ramón C...
TVCG
2008
162views more  TVCG 2008»
13 years 10 months ago
3D Modeling of Optically Challenging Objects
We present a system for constructing 3D models of real-world objects with optically challenging surfaces. The system utilizes a new range imaging concept called multipeak range ima...
Johnny Park, Avinash C. Kak
DAM
2000
137views more  DAM 2000»
13 years 10 months ago
Solving the feedback vertex set problem on undirected graphs
Feedback problems consist of removing a minimal number of vertices of a directed or undirected graph in order to make it acyclic. The problem is known to be NPcomplete. In this pa...
Lorenzo Brunetta, Francesco Maffioli, Marco Trubia...