Sciweavers

2863 search results - page 170 / 573
» Computer modelling and natural phenomena
Sort
View
ISIPTA
2003
IEEE
140views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
A Second-Order Uncertainty Model of Independent Random Variables: An Example of the Stress-Strength Reliability
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
Lev V. Utkin
AVI
1996
15 years 7 months ago
Closing the loop: modelling action, perception and information
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
Alan J. Dix
FOSSACS
2004
Springer
15 years 12 months ago
Angelic Semantics of Fine-Grained Concurrency
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
Dan R. Ghica, Andrzej S. Murawski
ACL
2010
15 years 4 months ago
A Risk Minimization Framework for Extractive Speech Summarization
In this paper, we formulate extractive summarization as a risk minimization problem and propose a unified probabilistic framework that naturally combines supervised and unsupervis...
Shih-Hsiang Lin, Berlin Chen
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
15 years 10 months ago
Model-Integrated Programming
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
Hubertus Franke, Janos Sztipanovits, Gabor Karsai