Sciweavers

1653 search results - page 172 / 331
» Directed tree-width examples
Sort
View
ESOP
2007
Springer
15 years 8 months ago
A Rewriting Semantics for Type Inference
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
George Kuan, David MacQueen, Robert Bruce Findler
FPGA
2007
ACM
119views FPGA» more  FPGA 2007»
15 years 8 months ago
Synthesis of an application-specific soft multiprocessor system
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
Jason Cong, Guoling Han, Wei Jiang
GECCO
2007
Springer
158views Optimization» more  GECCO 2007»
15 years 8 months ago
A novel generative encoding for exploiting neural network sensor and output geometry
A significant problem for evolving artificial neural networks is that the physical arrangement of sensors and effectors is invisible to the evolutionary algorithm. For example,...
David B. D'Ambrosio, Kenneth O. Stanley
GECCO
2007
Springer
162views Optimization» more  GECCO 2007»
15 years 8 months ago
Using pair approximations to predict takeover dynamics in spatially structured populations
The topological properties of a network directly impact the flow of information through a system. For example, in natural populations, the network of inter-individual contacts aff...
Joshua L. Payne, Margaret J. Eppstein
GECON
2007
Springer
113views Business» more  GECON 2007»
15 years 8 months ago
Taxonomy of Grid Business Models
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
Jörn Altmann, Mihaela Ion, Ashraf Adel Bany M...