Sciweavers

8729 search results - page 1430 / 1746
» Design Of Experiments: Overview
Sort
View
ATMOS
2010
130views Optimization» more  ATMOS 2010»
15 years 5 months ago
Fast Detour Computation for Ride Sharing
Today’s ride sharing services still mimic a better billboard. They list the offers and allow to search for the source and target city, sometimes enriched with radial search. So...
Robert Geisberger, Dennis Luxen, Sabine Neubauer, ...
CIKM
2010
Springer
15 years 5 months ago
FD-buffer: a buffer manager for databases on flash disks
We design and implement FD-Buffer, a buffer manager for database systems running on flash-based disks. Unlike magnetic disks, flash media has an inherent read-write asymmetry: w...
Sai Tung On, Yinan Li, Bingsheng He, Ming Wu, Qion...
ICFEM
2010
Springer
15 years 5 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
JCP
2008
114views more  JCP 2008»
15 years 5 months ago
A Novel Feature Selection Algorithm Based on Hypothesis-Margin
Iterative search margin based algorithm(Simba) has been proven effective for feature selection. However, it still has the following disadvantages: (1) the previously proposed model...
Ming Yang, Fei Wang, Ping Yang
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 5 months ago
Cooperative caging using autonomous aquatic surface vehicles
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
Filippo Arrichiello, Hordur Kristinn Heidarsson, S...
« Prev « First page 1430 / 1746 Last » Next »