3235 search results - page 217 / 647 » Partial Redundant Modeling |
172
Voted
APCCM
2004
15 years 6 months ago
2004
Despite the hype surrounding enterprise architectures, they have delivered little on their promise. In this paper, we argue that enterprise architectures built using component-bas...
116
Voted
NIPS
2000
15 years 6 months ago
2000
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...
110
click to vote
AMC
2006
15 years 5 months ago
2006
The exponential Euler method is a nonstandard approximation scheme that was developed specifically for the Hodgkin-Huxley differential equation models that arise in neuroscience a...
145
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
136
Voted
INTEGRATION
2007
15 years 4 months ago
2007
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...