Sciweavers

280 search results - page 55 / 56
» Termination Tools in Ordered Completion
Sort
View
COLT
2008
Springer
13 years 8 months ago
Adapting to a Changing Environment: the Brownian Restless Bandits
In the multi-armed bandit (MAB) problem there are k distributions associated with the rewards of playing each of k strategies (slot machine arms). The reward distributions are ini...
Aleksandrs Slivkins, Eli Upfal
BCSHCI
2007
13 years 7 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
SIMVIS
2007
13 years 7 months ago
Development of a Mixed Reality Device for Interactive On-Site Geo-visualization
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
Volker Paelke, Claus Brenner
BMCBI
2007
102views more  BMCBI 2007»
13 years 6 months ago
Multivariate Analysis and Visualization of Splicing Correlations in Single-Gene Transcriptomes
Background: RNA metabolism, through 'combinatorial splicing', can generate enormous structural diversity in the proteome. Alternative domains may interact, however, with...
Mark C. Emerick, Giovanni Parmigiani, William S. A...
BMCBI
2006
159views more  BMCBI 2006»
13 years 6 months ago
MultiSeq: unifying sequence and structure data for evolutionary analysis
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
Elijah Roberts, John Eargle, Dan Wright, Zaida Lut...