2119 search results - page 95 / 424 » Structure-Preserving Model Reduction |
130
click to vote
ICMLA
2004
15 years 4 months ago
2004
Complexity, or in other words compactness, of models generated by rule learners is one of often neglected issues, although it has a profound effect on the success of any project t...
124
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
114
click to vote
JCNS
2010
15 years 1 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
DAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
146
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...