Sciweavers

4211 search results - page 587 / 843
» Types as Abstract Interpretations
Sort
View
CSCLP
2006
Springer
15 years 10 months ago
Cost-Based Filtering for Stochastic Inventory Control
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven...
DAGM
2006
Springer
15 years 10 months ago
Properties of Patch Based Approaches for the Recognition of Visual Object Classes
Abstract. Patch based approaches have recently shown promising results for the recognition of visual object classes. This paper investigates the role of different properties of pat...
Alexandra Teynor, Esa Rahtu, Lokesh Setia, Hans Bu...
ECAI
2006
Springer
15 years 10 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
ECTEL
2006
Springer
15 years 10 months ago
The L2C Project: Learning to Collaborate Through Advanced SmallWorld Simulations
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
Albert A. Angehrn, Thierry Nabeth
ECTEL
2006
Springer
15 years 10 months ago
Satellite-Enabled Interactive Education: Scenarios and Systems Architectures
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
Tacha Serif, Lampros K. Stergioulas, Gheorghita Gh...