Sciweavers

6274 search results - page 797 / 1255
» Proofs, Programs, Processes
Sort
View
190
Voted
EELC
2006
154views Languages» more  EELC 2006»
15 years 10 months ago
Unify and Merge in Fluid Construction Grammar
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
Luc Steels, Joachim De Beule
222
Voted
EUROGP
2006
Springer
140views Optimization» more  EUROGP 2006»
15 years 10 months ago
Evolving Noisy Oscillatory Dynamics in Genetic Regulatory Networks
We introduce a genetic programming (GP) approach for evolving genetic networks that demonstrate desired dynamics when simulated as a discrete stochastic process. Our representation...
André Leier, P. Dwight Kuo, Wolfgang Banzha...
AI
2001
Springer
15 years 10 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
204
Voted
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 10 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...
169
Voted
WSC
2008
15 years 9 months ago
Federated simulations for systems of systems integration
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...