Sciweavers

1642 search results - page 209 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Maximum a posteriori based regularization parameter selection
The 1 norm regularized least square technique has been proposed as an efficient method to calculate sparse solutions. However, the choice of the regularization parameter is still...
Ashkan Panahi, Mats Viberg
ICIP
2008
IEEE
16 years 25 days ago
General region merging approaches based on information theory statistical measures
This work presents a new statistical approach to region merging where regions are modeled as arbitrary discrete distributions, directly estimated from the pixel values. Under this...
Felipe Calderero, Ferran Marqués
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
WSC
2007
15 years 8 months ago
Classification analysis for simulation of machine breakdowns
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
Lanting Lu, Christine S. M. Currie, Russell C. H. ...
WSC
2008
15 years 8 months ago
Multi-product lot merging/splitting algorithms for a semiconductor wafer fabrication
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
June-Young Bang, Jae-Hun Kang, Bong-Kyun Kim, Yeon...