Sciweavers

19130 search results - page 303 / 3826
» Modelling multi-path problems
Sort
View
ANOR
2002
57views more  ANOR 2002»
15 years 6 months ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard
ICPR
2004
IEEE
16 years 7 months ago
A Consistency-Based Model Selection for One-Class Classification
Model selection in unsupervised learning is a hard problem. In this paper a simple selection criterion for hyperparameters in one-class classifiers (OCCs) is proposed. It makes us...
David M. J. Tax, Klaus-Robert Müller
SARA
2007
Springer
16 years 24 days ago
A Meta-CSP Model for Optimal Planning
One approach to optimal planning is to first start with a sub- optimal solution as a seed plan, and then iteratively search for shorter plans. This approach inevitably leads to an...
Peter Gregory, Derek Long, Maria Fox
MRCO
2005
Springer
16 years 5 days ago
A Layered Model for User Context Management with Controlled Aging and Imperfection Handling
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...
Andreas Schmidt
CONCUR
2003
Springer
15 years 12 months ago
Model Checking a Path
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
Nicolas Markey, Ph. Schnoebelen