Sciweavers

2191 search results - page 131 / 439
» Improving the Efficiency of Non-Deterministic Computations
Sort
View
LCN
2005
IEEE
15 years 6 months ago
Constructing Efficient Multi-hop Mesh Networks
The Wireless Channel-oriented Ad-hoc Multi-hop Broadband (W-CHAMB) is a new link layer protocol with the aim of being able to support Quality of Service (QoS) in multi-hop operati...
Rui Zhao, Bernhard Walke, Michael Einhaus
ESORICS
2007
Springer
15 years 4 months ago
Efficient Proving for Practical Distributed Access-Control Systems
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
Lujo Bauer, Scott Garriss, Michael K. Reiter
132
Voted
AAAI
2006
15 years 2 months ago
Sample-Efficient Evolutionary Function Approximation for Reinforcement Learning
Reinforcement learning problems are commonly tackled with temporal difference methods, which attempt to estimate the agent's optimal value function. In most real-world proble...
Shimon Whiteson, Peter Stone
87
Voted
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 26 days ago
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilisti...
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand...
124
Voted
JDCTA
2008
117views more  JDCTA 2008»
15 years 23 days ago
Efficiency Enhancement of Neural Network with Phase Only Correlation
The research work is carried out to enhance the recognition accuracy of neural network with Phase Only Correlation (POC) and reduce the time required for POC by refining its input...
Usman Qayyum