Sciweavers

43264 search results - page 8282 / 8653
» Comparing models of computation
Sort
View
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 3 months ago
Information Acquisition and Exploitation in Multichannel Wireless Networks
A wireless system with multiple channels is considered, where each channel has several transmission states. A user learns about the instantaneous state of an available channel by ...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar
119
Voted
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 3 months ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 3 months ago
Efficient Approximation of Optimal Control for Markov Games
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
Markus Rabe, Sven Schewe, Lijun Zhang
CORR
2008
Springer
72views Education» more  CORR 2008»
15 years 3 months ago
Channels that Heat Up
This paper considers an additive noise channel where the time-k noise variance is a weighted sum of the squared magnitudes of the previous channel inputs plus a constant. This chan...
Tobias Koch, Amos Lapidoth, Paul-Peter Sotiriadis
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 3 months ago
AMP: A Science-driven Web-based Application for the TeraGrid
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
Matthew Woitaszek, Travis Metcalfe, Ian Shorrock
« Prev « First page 8282 / 8653 Last » Next »