Sciweavers

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