Sciweavers

6014 search results - page 122 / 1203
» Parametric Analysis of Computer Systems
Sort
View
GRAPHITE
2003
ACM
15 years 11 months ago
Analysis of visualisation requirements for fuzzy systems
This paper provides a comprehensive analysis of the working and requirements of fuzzy systems with the view to devise appropriate visualisation framework and techniques for these ...
Binh Pham, Ross Brown
CLADE
2008
IEEE
15 years 8 months ago
A grid-enabled workflow system for reservoir uncertainty analysis
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
Emrah Ceyhan, Gabrielle Allen, Christopher D. Whit...
AB
2008
Springer
16 years 20 days ago
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
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...
Wei Niu, Dongming Wang
AUTOMATICA
2002
263views more  AUTOMATICA 2002»
15 years 6 months ago
Analysis of discrete-time piecewise affine and hybrid systems
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...
Giancarlo Ferrari-Trecate, Francesco Alessandro Cu...
IANDC
2008
131views more  IANDC 2008»
15 years 6 months ago
Termination of just/fair computations in term rewriting
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...
Salvador Lucas, José Meseguer