Sciweavers

4647 search results - page 622 / 930
» Composite Design Patterns
Sort
View
HYBRID
2010
Springer
15 years 8 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
DOCENG
2008
ACM
15 years 8 months ago
An exploratory mapping strategy for web-driven magazines
"There will always (I hope) be print books, but just as the advent of photography changed the role of painting or film changed the role of theater in our culture, electronic ...
Fabio Giannetti
DAIS
1997
15 years 8 months ago
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
Frédéric Ranno, Santosh K. Shrivasta...
HPDC
2010
IEEE
15 years 7 months ago
Multi-GPU volume rendering using MapReduce
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
Jeff A. Stuart, Cheng-Kai Chen, Kwan-Liu Ma, John ...
BMCBI
2008
140views more  BMCBI 2008»
15 years 6 months ago
SCPRED: Accurate prediction of protein structural class for sequences of twilight-zone similarity with predicting sequences
Background: Protein structure prediction methods provide accurate results when a homologous protein is predicted, while poorer predictions are obtained in the absence of homologou...
Lukasz A. Kurgan, Krzysztof J. Cios, Ke Chen 0003