Sciweavers

6343 search results - page 377 / 1269
» Robust consensus computation
Sort
View
WABI
2005
Springer
120views Bioinformatics» more  WABI 2005»
16 years 6 days ago
Multiple Structural RNA Alignment with Lagrangian Relaxation
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
Markus Bauer, Gunnar W. Klau, Knut Reinert
CIE
2007
Springer
16 years 28 days ago
From Logic to Physics: How the Meaning of Computation Changed over Time
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
Itamar Pitowsky
INFOCOM
2011
IEEE
14 years 10 months ago
Secure and practical outsourcing of linear programming in cloud computing
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
Cong Wang, Kui Ren, Jia Wang
164
Voted
IPPS
2006
IEEE
16 years 23 days ago
Decentralized runtime analysis of multithreaded applications
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
SIGGRAPH
2010
ACM
15 years 11 months ago
Optimizing walking controllers for uncertain inputs and environments
We introduce methods for optimizing physics-based walking controllers for robustness to uncertainty. Many unknown factors, such as external forces, control torques, and user contr...
Jack M. Wang, David J. Fleet, Aaron Hertzmann