Sciweavers

2714 search results - page 70 / 543
» On the Notion of Value Object
Sort
View
SIAMJO
2002
96views more  SIAMJO 2002»
14 years 9 months ago
A New Efficient Large-Update Primal-Dual Interior-Point Method Based on a Finite Barrier
We introduce a new barrier function which is not a barrier function in the usual sense: it has finite value at the boundary of the feasible region. Despite this, its iteration bou...
Y. Q. Bai, Mohamed El Ghami, Cees Roos
CONCUR
2009
Springer
15 years 4 months ago
Measuring Permissivity in Finite Games
In this paper, we extend the classical notion of strategies in turn-based finite games by allowing several moves to be selected. We define and study a quantitative measure for pe...
Patricia Bouyer, Marie Duflot, Nicolas Markey, Gab...
CALCO
2005
Springer
105views Mathematics» more  CALCO 2005»
15 years 3 months ago
A Categorical Approach to Simulations
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
Miguel Palomino, José Meseguer, Narciso Mar...
IPPS
2007
IEEE
15 years 4 months ago
Online Aggregation over Trees
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We consider the problem of aggregating values (e.g., summing values) from all nod...
C. Greg Plaxton, Mitul Tiwari, Praveen Yalagandula
ICDT
1997
ACM
97views Database» more  ICDT 1997»
15 years 2 months ago
Queries and Computation on the Web
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
Serge Abiteboul, Victor Vianu