Sciweavers

432 search results - page 34 / 87
» Performance Characterization of Landmark Operators
Sort
View
PODS
2007
ACM
142views Database» more  PODS 2007»
16 years 6 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...
186
Voted
JAIR
2011
144views more  JAIR 2011»
15 years 1 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»
16 years 3 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
16 years 24 days 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,...
184
Voted
CISS
2008
IEEE
16 years 18 days 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...