1769 search results - page 172 / 354 » Choice in Dynamic Linking |
160
click to vote
CPE
1998
Springer
15 years 10 months ago
1998
Springer
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independen...
142
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
151
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
154
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we present a multiagent model in which agents have a perception upon their shared environment, a measure is associated to the agents' perception field. We apply...
157
click to vote
DSVIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...