Sciweavers

19174 search results - page 160 / 3835
» Computer Animation Techniques
Sort
View
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
16 years 3 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
ICASSP
2008
IEEE
16 years 25 days ago
Forensic techniques for classifying scanner, computer generated and digital camera images
Digital images can be captured or generated by a variety of sources including digital cameras, scanners and computer graphics softwares. In many cases it is important to be able t...
Nitin Khanna, George T.-C. Chiu, Jan P. Allebach, ...
CG
2004
Springer
15 years 6 months ago
A survey of point-based techniques in computer graphics
In recent years point-based geometry has gained increasing attention as an alternative surface representation, both for efficient rendering and for flexible geometry processing of...
Leif Kobbelt, Mario Botsch
DAC
2005
ACM
16 years 7 months ago
High performance computing on fault-prone nanotechnologies: novel microarchitecture techniques exploiting reliability-delay trad
Device and interconnect fabrics at the nanoscale will have a density of defects and susceptibility to transient faults far exceeding those of current silicon technologies. In this...
Andrey V. Zykov, Elias Mizan, Margarida F. Jacome,...
FECS
2006
208views Education» more  FECS 2006»
15 years 7 months ago
Integral Learning Pedagogical Technique and Distance Learning applied in Laboratory Classes for Electrical and Computing Enginee
- This paper presents the results of a PhD thesis research, with an innovative proposal for the development of a Technical Laboratory Disciplines in Electrical and Computing Engine...
Paulo Alves Garcia, José Sidnei Colombo Mar...