Sciweavers

5084 search results - page 290 / 1017
» Proving Possibility Properties
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ECAI
2008
Springer
15 years 8 months ago
From Belief Change to Preference Change
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...
Jérôme Lang, Leendert van der Torre
ECAI
2008
Springer
15 years 8 months ago
Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling
This paper addresses the multi-agent patrolling problem, which consists for a set of autonomous agents to visit all the places of an unknown environment as regularly as possible. T...
Arnaud Glad, Olivier Simonin, Olivier Buffet, Fran...
BCSHCI
2008
15 years 8 months ago
Exploring the impulsion and vibration effects of tactile patterns
This paper explores the impulsion and vibration properties of different tactile patterns (icons). These properties describe the unique movements of the pins with different values ...
Muhammad Tahir, Gilles Bailly, Eric Lecolinet
COLING
2008
15 years 8 months ago
Modeling the Structure and Dynamics of the Consonant Inventories: A Complex Network Approach
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conso...
Animesh Mukherjee, Monojit Choudhury, Anupam Basu,...