Sciweavers

4629 search results - page 380 / 926
» Space Kernel Analysis
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
Coordinate Systems Reconstruction for Graphical Documents by Hough-feature Clustering and Geometric Analysis
Two-dimensional and three-dimensional coordinate systems are the basic graphics symbols in many graphical documents. A robust coordinate system detection scheme is needed in order...
Chew Lim Tan, Yan Ping Zhou
ICCAD
2005
IEEE
121views Hardware» more  ICCAD 2005»
16 years 3 months ago
Transition-by-transition FSM traversal for reachability analysis in bounded model checking
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wo...
ISVC
2009
Springer
16 years 1 months ago
Level Set Gait Analysis for Synthesis and Reconstruction
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
Muayed S. Al-Huseiny, Sasan Mahmoodi, Mark S. Nixo...
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
16 years 1 months ago
An Experimental Analysis of SEU Sensitiveness on System Knowledge-based Hardening Techniques
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
Oscar Ruano, Pilar Reyes, Juan Antonio Maestro, Lu...
ISCAS
2007
IEEE
105views Hardware» more  ISCAS 2007»
16 years 1 months ago
Stability Analysis of RED Gateway with Multiple TCP Reno Connections
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...
Xi Chen, Siu Chung Wong, Chi K. Michael Tse, Ljilj...