Sciweavers

17543 search results - page 3291 / 3509
» Stochastic Optimization Algorithms
Sort
View
COMCOM
2007
103views more  COMCOM 2007»
15 years 6 months ago
Inter-autonomous system provisioning for end-to-end bandwidth guarantees
This paper addresses the issue of provisioning end-to-end bandwidth guarantees across multiple Autonomous Systems (ASes). We first review a cascaded model for negotiating and est...
Kin-Hon Ho, Michael P. Howarth, Ning Wang, George ...
IJCSS
2006
67views more  IJCSS 2006»
15 years 6 months ago
Recursive Filter Design for Estimating Time Varying Multijoint Human Arm Viscoelasticity
The time varying human multijoint arm dynamics can be modeled by two factors, simplified musculoskeletal dynamics and the uncertainty factor consisting of measurement noises and m...
Mingcong Deng, Akira Inoue, Hiroaki Gomi, Yoichi H...
JAIR
2008
123views more  JAIR 2008»
15 years 6 months ago
CTL Model Update for System Modifications
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
Yan Zhang, Yulin Ding
JAIR
2008
98views more  JAIR 2008»
15 years 6 months ago
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...
Menkes Hector Louis van den Briel, Thomas Vossen, ...
COR
2007
103views more  COR 2007»
15 years 6 months ago
A reactive GRASP and path relinking for a combined production-distribution problem
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
Mourad Boudia, Mohamed Aly Ould Louly, Christian P...
« Prev « First page 3291 / 3509 Last » Next »