Sciweavers

21324 search results - page 628 / 4265
» Making the case for computing
Sort
View
CGF
2008
100views more  CGF 2008»
15 years 7 months ago
Real-Time Translucent Rendering Using GPU-based Texture Space Importance Sampling
We present a novel approach for real-time rendering of translucent surfaces. The computation of subsurface scattering is performed by first converting the integration over the 3D ...
Chih-Wen Chang, Wen-Chieh Lin, Tan-Chi Ho, Tsung-S...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CORR
2010
Springer
81views Education» more  CORR 2010»
15 years 7 months ago
Understanding Cascading Failures in Power Grids
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...
Sachin Kadloor, Nandakishore Santhi
JASIS
2008
77views more  JASIS 2008»
15 years 7 months ago
Citers' use of citees' names: Findings from a qualitative interview-based study
This article focuses on why academic writers in computer science and sociology sometimes supply the reader with more details of citees' names than they need to: why citers na...
Nigel Harwood
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 7 months ago
Observable Graphs
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
Raphael M. Jungers, Vincent D. Blondel