Sciweavers

8501 search results - page 1302 / 1701
» Reactive process networks
Sort
View
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
SEMCO
2007
IEEE
16 years 1 months ago
Automatic Generation of Multi-Modal Dialogue from Text Based on Discourse Structure Analysis
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
Helmut Prendinger, Paul Piwek, Mitsuru Ishizuka
BVAI
2007
Springer
16 years 1 months ago
The Bayesian Draughtsman: A Model for Visuomotor Coordination in Drawing
Abstract. In this article we present a model of realistic drawing accounting for visuomotor coordination, namely the strategies adopted to coordinate the processes of eye and hand ...
Ruben Coen Cagli, Paolo Coraggio, Paolo Napoletano...
CCS
2007
ACM
16 years 1 months ago
Towards a taxonomy for information security metrics
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
Reijo Savola
DSOM
2007
Springer
16 years 1 months ago
On the Risk Exposure and Priority Determination of Changes in IT Service Management
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
Jacques Philippe Sauvé, Rodrigo A. Santos, ...
« Prev « First page 1302 / 1701 Last » Next »