Sciweavers

1640 search results - page 253 / 328
» Transistor-Level Timing Analysis Using Embedded Simulation
Sort
View
110
Voted
CGF
2006
132views more  CGF 2006»
15 years 2 months ago
Verification of Physically Based Rendering Algorithms
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
Christiane Ulbricht, Alexander Wilkie, Werner Purg...
138
Voted
SERA
2004
Springer
15 years 8 months ago
NuEditor - A Tool Suite for Specification and Verification of NuSCR
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
112
Voted
CVPR
2007
IEEE
16 years 4 months ago
Real-time Automatic Deceit Detection from Involuntary Facial Expressions
Being the most broadly used tool for deceit measurement, the polygraph is a limited method as it suffers from human operator subjectivity and the fact that target subjects are awa...
Zhi Zhang, Vartika Singh, Thomas E. Slowe, Sergey ...
169
Voted
PCM
2004
Springer
146views Multimedia» more  PCM 2004»
15 years 8 months ago
Optimum End-to-End Distortion Estimation for Error Resilient Video Coding
End-to-end distortion estimation plays an important role in error-resilient video coding. The intuitive method is to simulate the decoding process many times at the encoder, as use...
Yuan Zhang, Qingming Huang, Yan Lu, Wen Gao
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 2 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...