206 search results - page 5 / 42 » Simplifying failure-inducing input |
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security....
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes the kinematic analysis of two different cricket locomotion modalities, and the use of these data in a dynamic simulation to combine and simplify the insect�...
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
JCNS
2010
13 years 2 months ago
2010
The early processing of sensory information by neuronal circuits often includes a reshaping of activity patterns that may facilitate the further processing of stimulus representat...
GRAPHICSINTERFACE
2000
13 years 9 months ago
2000
As modeling and visualization applications proliferate, there arises a need to simplify large polygonal models at interactive rates. Unfortunately existing polygon mesh simplifica...