Sciweavers

6601 search results - page 707 / 1321
» Optimal Distributed Arc-Consistency
Sort
View
REX
1991
15 years 10 months ago
The Theory of Timed Automata
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
Rajeev Alur, David L. Dill
WSC
2008
15 years 9 months ago
A flexible and scalable experimentation layer
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
Jan Himmelspach, Roland Ewald, Adelinde M. Uhrmach...
ATAL
2008
Springer
15 years 9 months ago
Autonomic machine control: a case study
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...
Christian Dannegger, Dominic A. P. Greenwood
158
Voted
NIPS
2007
15 years 8 months ago
Predictive Matrix-Variate t Models
It is becoming increasingly important to learn from a partially-observed random matrix and predict its missing elements. We assume that the entire matrix is a single sample drawn ...
Shenghuo Zhu, Kai Yu, Yihong Gong
NIPS
2003
15 years 8 months ago
Kernel Dimensionality Reduction for Supervised Learning
We propose a novel method of dimensionality reduction for supervised learning. Given a regression or classification problem in which we wish to predict a variable Y from an expla...
Kenji Fukumizu, Francis R. Bach, Michael I. Jordan