Sciweavers

3082 search results - page 107 / 617
» New Bounds for the Controller Problem
Sort
View
EOR
2007
80views more  EOR 2007»
15 years 6 months ago
A partition approach to the inventory/routing problem
In this study we focus on the integration of inventory control and vehicle routing schedules for a distribution system in which the warehouse is responsible for the replenishment ...
Qiu-Hong Zhao, Shouyang Wang, Kin Keung Lai
DCC
2006
IEEE
16 years 5 months ago
Compression and Machine Learning: A New Perspective on Feature Space Vectors
The use of compression algorithms in machine learning tasks such as clustering and classification has appeared in a variety of fields, sometimes with the promise of reducing probl...
D. Sculley, Carla E. Brodley
ICSE
2010
IEEE-ACM
15 years 8 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Robust controller design by convex optimization based on finite frequency samples of spectral models
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
Gorka Galdos, Alireza Karimi, Roland Longchamp
AROBOTS
2005
55views more  AROBOTS 2005»
15 years 6 months ago
Nonlinear Control for the Dual Smart Drive Using Backstepping and a Time-Optimal Reference
The Dual Smart Drive is a specially designed nonlinear actuator intended for use in climbing and walking legged robots. It features a continuously changing transmission ratio and d...
Roemi Fernández, João Pedro Hespanha...