1945 search results - page 86 / 389 » Speeding up Serpent |
116
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
112
click to vote
IJRR
2011
14 years 6 months ago
2011
— In this paper we develop an RRT-based motion planner that achieved bounding in simulation with the LittleDog robot over extremely rough terrain. LittleDog is a quadruped robot ...
134
click to vote
OSN
2011
14 years 6 months ago
2011
TCP-over-OBS is a promising transport paradigm to support next-generation Internet. It is well-known that loadbalanced routing generally improves loss performance over OBS. We ide...
107
click to vote
TCBB
2011
14 years 6 months ago
2011
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
TIP
2011
14 years 6 months ago
2011
—A color filter array (CFA) used in a digital camera is a mosaic of spectrally selective filters, which allows only one color component to be sensed at each pixel. The missing ...