Sciweavers

5639 search results - page 375 / 1128
» Timed Abstract Non-interference
Sort
View
GBRPR
2009
Springer
15 years 8 months ago
Homeomorphic Alignment of Edge-Weighted Trees
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
Benjamin Raynal, Michel Couprie, Venceslas Biri
CIA
2006
Springer
15 years 8 months ago
Learning to Negotiate Optimally in Non-stationary Environments
Abstract. We adopt the Markov chain framework to model bilateral negotiations among agents in dynamic environments and use Bayesian learning to enable them to learn an optimal stra...
Vidya Narayanan, Nicholas R. Jennings
CMSB
2006
Springer
15 years 8 months ago
Regulatory Network Reconstruction Using Stochastic Logical Networks
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
Bartek Wilczynski, Jerzy Tiuryn
CP
2006
Springer
15 years 8 months ago
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
Robert Mateescu, Rina Dechter
DSOM
2006
Springer
15 years 8 months ago
Uncertainty in Global Application Services with Load Sharing Policy
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
Mark Burgess, Sven Ingebrigt Ulland