1270 search results - page 116 / 254 » IF Validation Environment Tutorial |
WWW
2004
ACM
16 years 2 months ago
2004
ACM
We study the dynamics of information propagation in environments of low-overhead personal publishing, using a large collection of weblogs over time as our example domain. We chara...
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
107
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
115
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
123
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper presents a new method for extracting object edges from range images obtained by a 3D range imaging sensor⎯the SwissRanger SR-3000. In range image preprocessing stag...