Sciweavers

749 search results - page 36 / 150
» Scenario based Analysis of Linear Computations
Sort
View
HYBRID
2003
Springer
15 years 9 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
HICSS
2002
IEEE
138views Biometrics» more  HICSS 2002»
15 years 9 months ago
Artificial Computer-Assisted International Negotiation: A Tool for Research and Practice
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
Daniel Druckman, Richard Harris, Bennett Ramberg
133
Voted
PAAPP
2002
150views more  PAAPP 2002»
15 years 3 months ago
Scalability analysis of parallel GMRES implementations
Applications involving large sparse nonsymmetric linear systems encourage parallel implementations of robust iterative solution methods, such as GMRES(k). Two parallel versions of...
Masha Sosonkina, Donald C. S. Allison, Layne T. Wa...
HICSS
2007
IEEE
150views Biometrics» more  HICSS 2007»
15 years 10 months ago
Security Ontologies: Improving Quantitative Risk Analysis
— IT-security has become a much diversified field and small and medium sized enterprises (SMEs), in particular, do not have the financial ability to implement a holistic IT-se...
Andreas Ekelhart, Stefan Fenz, Markus D. Klemen, E...
PE
2006
Springer
127views Optimization» more  PE 2006»
15 years 4 months ago
Design and analysis of a class-aware recursive loop scheduler for class-based scheduling
In this paper, we consider the problem of devising a loop scheduler that allocates slots to users according to their relative weights as smoothly as possible. Instead of the exist...
Raphael Rom, Moshe Sidi, Hwee Pink Tan