Sciweavers

2635 search results - page 290 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
128
Voted
FMICS
2007
Springer
15 years 9 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
105
Voted
ICANN
2007
Springer
15 years 9 months ago
Selection of Basis Functions Guided by the L2 Soft Margin
Support Vector Machines (SVMs) for classification tasks produce sparse models by maximizing the margin. Two limitations of this technique are considered in this work: firstly, th...
Ignacio Barrio, Enrique Romero, Lluís Belan...
IFIP
2005
Springer
15 years 8 months ago
Multi-Stage Stochastic Electricity Portfolio Optimization in Liberalized Energy Markets
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
Ronald Hochreiter, Georg Ch. Pflug, David Wozabal
JBI
2007
104views Bioinformatics» more  JBI 2007»
15 years 3 months ago
Anatomy of data integration
Producing reliable information is the ultimate goal of data processing. The ocean of data created with the advances of science and technologies calls for integration of data comin...
Olga Brazhnik, John F. Jones
140
Voted
TELSYS
2002
99views more  TELSYS 2002»
15 years 3 months ago
Queue Lengths and Waiting Times for Multiserver Queues with Abandonment and Retrials
We consider a Markovian multiserver queueing model with time dependent parameters where waiting customers may abandon and subsequently retry. We provide simple fluid and diffusion ...
Avishai Mandelbaum, William A. Massey, Martin I. R...