53390 search results - page 62 / 10678 » Computer Systems Analysis |
134
click to vote
AB
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
131
click to vote
AUTOMATICA
2002
15 years 2 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
105
click to vote
IANDC
2008
15 years 2 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
119
click to vote
ACIVS
2008
Springer
15 years 8 months ago
2008
Springer
Scientific advances in the development of video processing algorithms now allow various distributed and collaborative vision-based applications. However, the lack of recognised st...
126
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...