Sciweavers

1747 search results - page 180 / 350
» Long Range Dependence
Sort
View
ITRUST
2005
Springer
16 years 1 days ago
Can We Manage Trust?
The term trust management suggests that trust can be managed, for example by creating trust, by assessing trustworthiness, or by determining optimal decisions based on specific le...
Audun Jøsang, Claudia Keser, Theodosis Dimi...
IWINAC
2005
Springer
16 years 1 days ago
Spatial navigation based on novelty mediated autobiographical memory
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....
Emilia I. Barakova, Tino Lourens
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
16 years 21 hour ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere
VRST
2004
ACM
15 years 12 months ago
Occlusion handling for medical augmented reality using a volumetric phantom model
The support of surgical interventions has long been in the focus of application-oriented augmented reality research. Modern methods of surgery, like minimally-invasive procedures,...
Jan Fischer, Dirk Bartz, Wolfgang Straßer
IFIP
2004
Springer
15 years 12 months ago
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
Paola Flocchini, Antonio Mesa Enriques, Linda Pagl...