Sciweavers

3015 search results - page 329 / 603
» The robustness of a new CAPTCHA
Sort
View
CGF
2004
114views more  CGF 2004»
15 years 6 months ago
Smooth Surface Reconstruction Using Tensor Fields as Structuring Elements
We propose a new strategy to estimate surface normal information from highly noisy sparse data. Our approach is based on a tensor field morphologically adapted to infer normals. I...
Marcelo Bernardes Vieira, Paulo P. Martins Jr., Ar...
CC
2002
Springer
103views System Software» more  CC 2002»
15 years 6 months ago
StreamIt: A Language for Streaming Applications
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
William Thies, Michal Karczmarek, Saman P. Amarasi...
COMPUTER
2000
102views more  COMPUTER 2000»
15 years 6 months ago
The Next-Generation Internet: Unsafe at Any Speed?
Abstract--An emerging generation of mission-critical networked applications is placing demands on the Internet protocol suite that go well beyond the properties they were designed ...
Kenneth P. Birman
CSL
2002
Springer
15 years 6 months ago
On the Automatizability of Resolution and Related Propositional Proof Systems
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...
Albert Atserias, Maria Luisa Bonet
DC
2002
15 years 6 months ago
Restoration by path concatenation: fast recovery of MPLS paths
A new general theory about restoration of network paths is first introduced. The theory pertains to restoration of shortest paths in a network following failure, e.g., we prove th...
Yehuda Afek, Anat Bremler-Barr, Haim Kaplan, Edith...