Sciweavers

1078 search results - page 84 / 216
» The Modal Logic of Probability
Sort
View
155
Voted
EUSFLAT
2009
187views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
Intensity Assessment of Pedestrian Collisions in City of Mashhad based on Fuzzy Probabilities
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
Farzaneh Tatari, Mohammad R. Akbarzadeh-Totonchi
ICTAC
2010
Springer
15 years 2 months ago
A Modality for Safe Resource Sharing and Code Reentrancy
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
Rui Shi, Dengping Zhu, Hongwei Xi
141
Voted
ICWE
2007
Springer
15 years 10 months ago
Web User Interface Migration through Different Modalities with Dynamic Device Discovery
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
124
Voted
AAAI
2000
15 years 5 months ago
DMML: An XML Language for Interacting with Multi-Modal Dialog Systems
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
Nanda Kambhatla, Malgorzata Budzikowska, Sylvie Le...
DEON
2008
Springer
15 years 5 months ago
Variations in Access Control Logic
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
Martín Abadi