Sciweavers

3573 search results - page 675 / 715
» Reasoning about Codata
Sort
View
TRANSCI
2002
106views more  TRANSCI 2002»
13 years 9 months ago
The Stochastic Inventory Routing Problem with Direct Deliveries
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...
Anton J. Kleywegt, Vijay S. Nori, Martin W. P. Sav...
UAIS
2002
77views more  UAIS 2002»
13 years 9 months ago
Dialoguing with developers and suppliers of adaptive computer technologies: Data and recommendations
The authors report on findings on computer technology needs and concerns of 725 Canadian college and university students with a wide range of disabilities. The vast majority of thi...
Jennison V. Asuncion, Catherine S. Fichten, Myrtis...
SAC
2008
ACM
13 years 9 months ago
Configuring features with stakeholder goals
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, Alex...
FSS
2010
97views more  FSS 2010»
13 years 8 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
13 years 8 months ago
Robotic motion planning in dynamic, cluttered, uncertain environments
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
Noel E. Du Toit, Joel W. Burdick