2452 search results - page 132 / 491 » On Reduction of Lagrange Systems |
160
click to vote
ATVA
2005
Springer
15 years 11 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 ...
152
click to vote
JCNS
2010
15 years 4 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...
276
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...
151
click to vote
ISDA
2008
IEEE
16 years 11 days ago
2008
IEEE
In this paper we compared the performance of the Automatic Data Reduction System (ADRS) and principal component analysis (PCA) as a preprocessor to artificial neural networks (ANN...
148
click to vote
ICDCS
2007
IEEE
16 years 8 days ago
2007
IEEE
Learning the underlying model from distributed data is often useful for many distributed systems. In this paper, we study the problem of learning a non-parametric model from distr...