Sciweavers

2509 search results - page 79 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ASYNC
2000
IEEE
122views Hardware» more  ASYNC 2000»
15 years 10 months ago
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen...
CAV
2009
Springer
133views Hardware» more  CAV 2009»
16 years 6 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
TWC
2008
109views more  TWC 2008»
15 years 6 months ago
Service Time Approximation in IEEE 802.11 Single-Hop Ad Hoc Networks
Abstract-- This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets success...
Atef Abdrabou, Weihua Zhuang
CVPR
2011
IEEE
15 years 2 months ago
An Analysis of Using High-Frequency Sinusoidal Illumination to Measure the 3D Shape of Translucent Objects
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
Michael Holroyd, Jason Lawrence
ICPR
2010
IEEE
15 years 4 months ago
The PAGE (Page Analysis and Ground-Truth Elements) Format Framework
There is a plethora of established and proposed document representation formats but none that can adequately support individual stages within an entire sequence of document image ...
Stefan Pletschacher, Apostolos Antonacopoulos