Sciweavers

16091 search results - page 424 / 3219
» Solving
Sort
View
GI
2009
Springer
15 years 11 months ago
Constraint Checking for Business Process Management
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
Wolfgang Runte, Marwane El Kharbili
180
Voted
MCS
2009
Springer
15 years 11 months ago
An Empirical Study of a Linear Regression Combiner on Multi-class Data Sets
The meta-learner MLR (Multi-response Linear Regression) has been proposed as a trainable combiner for fusing heterogeneous baselevel classifiers. Although it has interesting prope...
Chun-Xia Zhang, Robert P. W. Duin
EUROCAST
2001
Springer
127views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
Tetsuo Ida, Mircea Marin, Taro Suzuki
159
Voted
IEAAIE
2001
Springer
15 years 11 months ago
A Knowledge Model for Automatic Configuration of Traffic Messages
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
Martín Molina, Mónica Robledo
LSSC
2001
Springer
15 years 11 months ago
Statistical Algorithms for Simulation of Electron Quantum Kinetics in Semiconductors - Part I
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
Todor V. Gurov, Paula A. Whitlock