1584 search results - page 164 / 317 » Interaction models for functional regression |
202
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
157
click to vote
ESANN
2004
15 years 8 months ago
2004
To emphasize the electrical nature of information processing in the brain we use a compartmental model of single neurons. The realistic simulation of wave-like activity in the recu...
175
click to vote
HICSS
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
203
click to vote
ICSE
2003
IEEE-ACM
16 years 5 days ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
203
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...