Sciweavers

615 search results - page 51 / 123
» step 2003
Sort
View
PG
2003
IEEE
15 years 3 months ago
Virtual Sandbox
Interactive applications such as virtual reality systems have become popular in recent years. A ground surface composed of a granular material can be deformed when it comes into c...
Koichi Onoue, Tomoyuki Nishita
SCAM
2003
IEEE
15 years 3 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
SMI
2003
IEEE
142views Image Analysis» more  SMI 2003»
15 years 3 months ago
Approximate Congruence Detection of Model Features for Reverse Engineering
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...
C. H. Gao, Frank C. Langbein, A. David Marshall, R...
VL
2003
IEEE
136views Visual Languages» more  VL 2003»
15 years 3 months ago
The effects of graphical and textual visualisations in multi-representational debugging environments
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...
Pablo Romero, Benedict du Boulay, Rudi Lutz, Richa...
VTS
2003
IEEE
131views Hardware» more  VTS 2003»
15 years 3 months ago
Efficient Implication - Based Untestable Bridge Fault Identifier
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, ...