Sciweavers

4209 search results - page 673 / 842
» Abstract Dialectical Frameworks
Sort
View
114
Voted
IFM
1999
Springer
15 years 8 months ago
Retrenchment and Punctured Simulation
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
Richard Banach, Michael Poppleton
125
Voted
IWAN
1999
Springer
15 years 8 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
117
Voted
MICCAI
1999
Springer
15 years 8 months ago
Interactive Medical Image Segmentation with United Snakes
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
Jianming Liang, Tim McInerney, Demetri Terzopoulos
ICRA
1998
IEEE
142views Robotics» more  ICRA 1998»
15 years 8 months ago
Lagrangian Relaxation Neural Networks for Job Shop Scheduling
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...
Peter B. Luh, Xing Zhao, Yajun Wang
126
Voted
ICRA
1998
IEEE
141views Robotics» more  ICRA 1998»
15 years 8 months ago
On Discontinuous Human Control Strategies
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
Michael C. Nechyba, Yangsheng Xu