27827 search results - page 227 / 5566 » Generating |
TAP
2007
Springer
15 years 6 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
APCCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
—This report discusses how to generate a panoramic image from video data for environmental surveillance of a river. Video signal is assumed to be taken in a sunny day from an air...
113
click to vote
CIMCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Presented is a method for reducing the size of if-then rules generated from data tables with graded attributes. Data tables with graded attributes represent data structures descri...
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Speeding up robot motion provides not only improvement in operating efficiency but also improves dexterous manipulation by taking advantage of an unstable state or non...
101
click to vote
IEEECIT
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, adaptive course generation has been focusing by several researchers. We have built ACGs system to create adaptive courses for each learner based on evaluating demand, ab...