Sciweavers

1146 search results - page 132 / 230
» On the Complexity of Domain-Independent Planning
Sort
View
MICCAI
2000
Springer
14 years 25 days ago
Simulation of Corticospinal Tract Displacement in Patients with Brain Tumors
The spatial relationship between the corticospinal tracts and a brain tumor is important for planning the surgical strategy. Although the white matter tracts can be manually outlin...
Michael Kaus, Arya Nabavi, C. T. Mamisch, William ...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 24 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
HPCN
1995
Springer
14 years 24 days ago
Discrete optimisation and real-world problems
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
Josef Kallrath, Anna Schreieck
VISSYM
2007
13 years 11 months ago
Hardware-accelerated Stippling of Surfaces derived from Medical Volume Data
We present a fast hardware-accelerated stippling method which does not require any preprocessing for placing points on surfaces. The surfaces are automatically parameterized in or...
Alexandra Baer, Christian Tietjen, Ragnar Bade, Be...
WSC
2008
13 years 11 months ago
Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing
Scheduling is one of the key factors for semiconductor fabrication productivity. Objectives like lot cycle time and throughput must be optimized to push the technological developm...
Andreas Klemmt, Sven Horn, Gerald Weigert, Thomas ...