Sciweavers

150 search results - page 18 / 30
» Solving Small TSPs with Constraints
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
13 years 7 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
IOR
2006
173views more  IOR 2006»
13 years 7 months ago
A Branch-and-Cut Algorithm for the Dial-a-Ride Problem
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
Jean-François Cordeau
JDS
2006
89views more  JDS 2006»
13 years 7 months ago
Network Enabled Decision Support for Civil Emergency Management
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
Heiner Micko, Johannes Leitner
APLAS
2000
ACM
13 years 12 months ago
Kima - An Automated Error Correction System for Concurrent Logic Programs
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
Yasuhiro Ajiro, Kazunori Ueda
CVPR
2004
IEEE
14 years 9 months ago
Super-Resolution through Neighbor Embedding
In this paper, we propose a novel method for solving single-image super-resolution problems. Given a low-resolution image as input, we recover its highresolution counterpart using...
Hong Chang, Dit-Yan Yeung, Yimin Xiong