Sciweavers

2701 search results - page 366 / 541
» On the form of witness terms
Sort
View
SIAMSC
2010
108views more  SIAMSC 2010»
15 years 5 months ago
Goal-Oriented Error Estimation and Adaptivity for Free-Boundary Problems: The Shape-Linearization Approach
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...
K. G. van der Zee, E. H. van Brummelen, R. de Bors...
SSS
2010
Springer
158views Control Systems» more  SSS 2010»
15 years 5 months ago
Low Memory Distributed Protocols for 2-Coloring
In this paper we present new distributed protocols to color even rings and general bipartite graphs. Our motivation is to provide algorithmic explanation for human subject experime...
Amos Israeli, Mathew D. McCubbins, Ramamohan Patur...
TCOM
2010
220views more  TCOM 2010»
15 years 4 months ago
Fiber fault PON monitoring using optical coding: Effects of customer geographic distribution
Abstract—We analyze the performance of fiber fault monitoring of a PON using a centralized, passive optical coding (OC) system. We develop an expression for the detected monitor...
Mohammad M. Rad, Habib Fathallah, Leslie A. Rusch
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 4 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland
TVCG
2010
146views more  TVCG 2010»
15 years 4 months ago
Narrative Visualization: Telling Stories with Data
—Data visualization is regularly promoted for its ability to reveal stories within data, yet these “data stories” differ in important ways from traditional forms of storytell...
Edward Segel, Jeffrey Heer