Sciweavers

462 search results - page 82 / 93
» Characterization-Free Behavioral Power Modeling
Sort
View
ATAL
2008
Springer
14 years 11 months ago
Switching dynamics of multi-agent learning
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
Peter Vrancx, Karl Tuyls, Ronald L. Westra
ADHOC
2006
115views more  ADHOC 2006»
14 years 9 months ago
Routing characteristics of ad hoc networks with unidirectional links
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
Jorjeta G. Jetcheva, David B. Johnson
POPL
2010
ACM
15 years 6 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
VTC
2006
IEEE
121views Communications» more  VTC 2006»
15 years 3 months ago
Multiobjective QoS-Oriented Planning for Indoor Wireless LANs
Abstract— This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efficient wLAN planning ...
Katia Jaffrès-Runser, Jean-Marie Gorce, St&...
ICCAD
2005
IEEE
132views Hardware» more  ICCAD 2005»
15 years 3 months ago
Battery optimization vs energy optimization: which to choose and when?
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
Ravishankar Rao, Sarma B. K. Vrudhula