1405 search results - page 225 / 281 » We Are No Longer A Priesthood |
99
Voted
CORR
2007
Springer
15 years 17 days ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
104
Voted
JSAC
2008
15 years 17 days ago
2008
We study a sequential auction for sharing a wireless resource (bandwidth or power) among competing transmitters. The resource is assumed to be managed by a spectrum broker (auction...
130
Voted
TCOM
2008
15 years 15 days ago
2008
This paper proposes a cross-layer optimization framework for the wireless sensor networks. In a wireless sensor network, each sensor makes a local observation of the underlying phy...
122
Voted
BMCBI
2005
15 years 14 days ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
124
Voted
AI
2002
Springer
15 years 14 days ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...