Sciweavers

3557 search results - page 474 / 712
» Authoring Presentation for OpenMath
Sort
View
CHI
2003
ACM
16 years 7 months ago
The kinedit system: affective messages using dynamic texts
Kinetic (dynamic) typography has demonstrated the ability to add significant emotive content and appeal to expressive text, allowing some of the qualities normally found in film a...
Jodi Forlizzi, Johnny C. Lee, Scott E. Hudson
RECOMB
2006
Springer
16 years 6 months ago
De Novo Signaling Pathway Predictions Based on Protein-Protein Interaction, Targeted Therapy and Protein Microarray Analysis
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
Derek A. Ruths, Jen-Te Tseng, Luay Nakhleh, Prahla...
STOC
2006
ACM
134views Algorithms» more  STOC 2006»
16 years 6 months ago
Byzantine agreement in the full-information model in O(log n) rounds
We present a randomized Byzantine Agreement (BA) protocol with an expected running time of O(log n) rounds, in a synchronous full-information network of n players. For any constan...
Michael Ben-Or, Elan Pavlov, Vinod Vaikuntanathan
STOC
2004
ACM
122views Algorithms» more  STOC 2004»
16 years 6 months ago
Estimating the weight of metric minimum spanning trees in sublinear-time
In this paper we present a sublinear time (1+ )-approximation randomized algorithm to estimate the weight of the minimum spanning tree of an n-point metric space. The running time...
Artur Czumaj, Christian Sohler
OSDI
2002
ACM
16 years 6 months ago
Scale and Performance in the Denali Isolation Kernel
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of untrusted Internet services on shared hardware. Denali...
Andrew Whitaker, Marianne Shaw, Steven D. Gribble