949 search results - page 131 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
153
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
124
click to vote
PODC
1999
ACM
15 years 6 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
106
click to vote
AGI
2008
15 years 3 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
220
click to vote
ICTAC
2010
Springer
15 years 29 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
133
click to vote
TCBB
2008
15 years 2 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...