1501 search results - page 266 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
113
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
SIGGRAPH
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel rendering system for defocus blur and lens effects. It supports physically-based rendering and outperforms previous approaches by involving a novel GPU-based tr...
NN
2006
Springer
14 years 11 months ago
2006
Springer
Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from t...
PACT
2009
Springer
15 years 3 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
104
click to vote
RT
2001
Springer
15 years 3 months ago
2001
Springer
We present a new sampling method for procedural and complex geometries, which allows interactive point-based modeling and rendering of such scenes. For a variety of scenes, object-...