Sciweavers

1989 search results - page 71 / 398
» cost 2010
Sort
View
CASC
2010
Springer
155views Mathematics» more  CASC 2010»
14 years 10 months ago
Type Specialization in Aldor
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
Laurentiu Dragan, Stephen M. Watt
SODA
2010
ACM
186views Algorithms» more  SODA 2010»
14 years 10 months ago
An O(log n/ log log n)-approximation Algorithm for the Asymmetric Traveling Salesman Problem
We consider the Asymmetric Traveling Salesman problem for costs satisfying the triangle inequality. We derive a randomized algorithm which delivers a solution within a factor O(lo...
Arash Asadpour, Michel X. Goemans, Aleksander Madr...
121
Voted
CDC
2010
IEEE
151views Control Systems» more  CDC 2010»
14 years 3 months ago
Receding horizon optimal control for the wave equation
— We present a receding horizon optimal control approach for the one-dimensional linear wave equation. In order to prove stability and suboptimality of this approach we use a wei...
Nils Altmuller, Lars Grüne, Karl Worthmann
IAT
2010
IEEE
14 years 9 months ago
4s-reasoner: RDFS Backward Chained Reasoning Support in 4store
This paper describes the design and implementation of backward chained clustered RDFS reasoning in 4store. The system presented, called "4s-reasoner", adds no overhead t...
Manuel Salvadores, Gianluca Correndo, Tope Omitola...
ICRA
2010
IEEE
222views Robotics» more  ICRA 2010»
14 years 10 months ago
Pose estimation in heavy clutter using a multi-flash camera
We propose a novel solution to object detection, localization and pose estimation with applications in robot vision. The proposed method is especially applicable when the objects ...
Ming-Yu Liu, Oncel Tuzel, Ashok Veeraraghavan, Ram...