Sciweavers

432 search results - page 34 / 87
» Performance Characterization of Landmark Operators
Sort
View
PODS
2007
ACM
142views Database» more  PODS 2007»
16 years 2 months ago
Quasi-inverses of schema mappings
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
JAIR
2011
144views more  JAIR 2011»
14 years 9 months ago
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
Aaron Hunter, James P. Delgrande
ICCAD
2003
IEEE
100views Hardware» more  ICCAD 2003»
15 years 11 months ago
A Theory of Non-Deterministic Networks
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
Alan Mishchenko, Robert K. Brayton
ICONS
2009
IEEE
15 years 8 months ago
Resource Discovery with Dynamic Matchmakers in Ad Hoc Grid
Nodes in an ad hoc grid are characterized by heterogeneity, autonomy, and volatility. These characteristics result in varying workload of the resource manager in the ad hoc grid. ...
Tariq Abdullah, Lotfi Mhamdi, Behnaz Pourebrahimi,...
CISS
2008
IEEE
15 years 8 months ago
Imperfect randomized algorithms for the optimal control of wireless networks
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
Atilla Eryilmaz, Asuman E. Ozdaglar, Devavrat Shah...