Sciweavers

3082 search results - page 107 / 617
» New Bounds for the Controller Problem
Sort
View
EOR
2007
80views more  EOR 2007»
15 years 4 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 3 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 6 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»
14 years 11 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 4 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...