Sciweavers

6894 search results - page 326 / 1379
» Generation Problems
Sort
View
TSE
2010
136views more  TSE 2010»
15 years 5 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
CDC
2010
IEEE
15 years 1 months ago
Towards perpetual flight of a gliding unmanned aerial vehicle in the jet stream
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
Joachim L. Grenestedt, John R. Spletzer
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
16 years 1 months ago
Real-time learning of resolved velocity control on a Mitsubishi PA-10
Abstract— Learning inverse kinematics has long been fascinating the robot learning community. While humans acquire this transformation to complicated tool spaces with ease, it is...
Jan Peters, Duy Nguyen-Tuong
JMLR
2006
145views more  JMLR 2006»
15 years 6 months ago
Ensemble Pruning Via Semi-definite Programming
An ensemble is a group of learning models that jointly solve a problem. However, the ensembles generated by existing techniques are sometimes unnecessarily large, which can lead t...
Yi Zhang 0006, Samuel Burer, W. Nick Street
DAC
2006
ACM
16 years 7 months ago
Efficient SAT-based Boolean matching for FPGA technology mapping
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...
Sean Safarpour, Andreas G. Veneris, Gregg Baeckler...