Sciweavers

2210 search results - page 171 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
CONCUR
2005
Springer
15 years 8 months ago
A Compositional Approach to the Stochastic Dynamics of Gene Networks
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
Luca Cardelli
119
Voted
TNN
1998
114views more  TNN 1998»
15 years 2 months ago
A new approach to artificial neural networks
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
Benedito Dias Baptista F. Filho, Eduardo Lobo Lust...
107
Voted
CSEE
2009
Springer
15 years 9 months ago
A Community of Learners Approach to Software Architecture Education
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
Remco C. de Boer, Rik Farenhorst, Hans van Vliet
120
Voted
DIAGRAMS
2004
Springer
15 years 8 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
101
Voted
WSC
2008
15 years 5 months ago
A multi threaded and resolution approach to simulated futures evaluation
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
David R. Pratt, Robert W. Franceschini, Robert B. ...