Sciweavers

1407 search results - page 124 / 282
» Learning Abstract Scheduling Models
Sort
View
130
Voted
IJCAI
1997
15 years 3 months ago
Learning Topological Maps with Weak Local Odometric Information
cal maps provide a useful abstraction for robotic navigation and planning. Although stochastic mapscan theoreticallybe learned using the Baum-Welch algorithm,without strong prior ...
Hagit Shatkay, Leslie Pack Kaelbling
196
Voted
CAISE
2011
Springer
14 years 6 months ago
Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows
Abstract. Flexibility and automatic learning are key aspects to support users in dynamic business environments such as value chains across SMEs or when organizing a large event. Pr...
Christoph Dorn, Schahram Dustdar
130
Voted
CONCUR
2007
Springer
15 years 8 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
139
Voted
QEST
2010
IEEE
15 years 14 days ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
MICCAI
2008
Springer
16 years 3 months ago
Classification of Suspected Liver Metastases Using fMRI Images: A Machine Learning Approach
Abstract. This paper presents a machine-learning approach to the interactive classification of suspected liver metastases in fMRI images. The method uses fMRI-based statistical mod...
Moti Freiman, Yifat Edrei, Yehonatan Sela, Yitz...