Sciweavers

3991 search results - page 179 / 799
» Bounding homogeneous models
Sort
View
CPHYSICS
2007
96views more  CPHYSICS 2007»
13 years 8 months ago
Simple models for biomembrane structure and dynamics
Simulation of biomembranes over length and time scales relevant to cellular biology is not currently feasible with molecular dynamics including full atomic detail. Barring an unfo...
Frank L. H. Brown
JAIR
2011
114views more  JAIR 2011»
12 years 11 months ago
Properties of Bethe Free Energies and Message Passing in Gaussian Models
We address the problem of computing approximate marginals in Gaussian probabilistic models by using mean field and fractional Bethe approximations. We define the Gaussian fracti...
Botond Cseke, Tom Heskes
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 6 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ISER
2004
Springer
117views Robotics» more  ISER 2004»
14 years 1 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
FOCS
2004
IEEE
13 years 12 months ago
Tolls for Heterogeneous Selfish Users in Multicommodity Networks and Generalized Congestion Games
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
Lisa Fleischer, Kamal Jain, Mohammad Mahdian