Sciweavers

3973 search results - page 417 / 795
» Complex adaptation and system structure
Sort
View

Book
1497views
17 years 2 months ago
How to Think Like a Computer Scientist: C++ Version
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
Allen B. Downey
159
Voted
ACRI
2006
Springer
15 years 11 months ago
CA Simulation of Biological Evolution in Genetic Hyperspace
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
Michael A. Saum, Sergey Gavrilets
146
Voted
DATE
1998
IEEE
109views Hardware» more  DATE 1998»
15 years 9 months ago
Cross-Level Hierarchical High-Level Synthesis
This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified sy...
Oliver Bringmann, Wolfgang Rosenstiel
146
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 9 months ago
Equations: A Dependent Pattern-Matching Compiler
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
Matthieu Sozeau
DELOS
2000
15 years 6 months ago
MARIAN Searching and Querying across Heterogeneous Federated Digital Libraries
: We explore the complex problem of providing searching services across interoperable heterogeneous federated digital library systems with rich structure and content. We discuss sy...
Marcos André Gonçalves, Robert K. Fr...