Sciweavers

2585 search results - page 44 / 517
» computer 1999
Sort
View
ICCV
1999
IEEE
14 years 10 months ago
A Theory of Shape by Space Carving
Kiriakos N. Kutulakos, Steven M. Seitz
DAC
1999
ACM
14 years 1 months ago
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
Valeria Bertacco, Maurizio Damiani, Stefano Quer
DAC
1999
ACM
14 years 1 months ago
Improving Symbolic Traversals by Means of Activity Profiles
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
DAC
1999
ACM
14 years 1 months ago
Virtual Simulation of Distributed IP-based Designs
Marcello Dalpasso, Alessandro Bogliolo, Luca Benin...