7167 search results - page 150 / 1434 » A Technique for Invariant Generation |
157
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
Interactive data visualization is inherently an iterative trial-and-error process searching for an ideal set of parameters for classifying and rendering features of interest in th...
161
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...
189
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a range image refinement technique for generating accurate 3D computer models of real objects. Range images obtained from a stereo-vision system typically expe...
156
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
180
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...