Sciweavers

9698 search results - page 192 / 1940
» models 2010
Sort
View
IJISMD
2010
135views more  IJISMD 2010»
15 years 3 months ago
On the Usage of Labels and Icons in Business Process Modeling
The value of business process models is dependent not only on the choice of graphical elements in the model, but also on their annotation with additional textual and graphical inf...
Jan Mendling, Jan Recker, Hajo A. Reijers
EOR
2010
99views more  EOR 2010»
15 years 6 months ago
Mathematical programming models for revenue management under customer choice
We study a network airline revenue management problem with discrete customer choice behavior. We discuss a choice model based on the concept of preference orders, in which custome...
Lijian Chen, Tito Homem-de-Mello
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
FIRSTMONDAY
2010
105views more  FIRSTMONDAY 2010»
15 years 3 months ago
A manifesto for modeling and measurement in social media
Online Social Networks (OSNs) have been the subject of a great deal of study in recent years. The majority of this study has used simple models, such as node-and-edge graphs, to d...
Graham Cormode, Balachander Krishnamurthy, Walter ...
ADCM
2010
270views more  ADCM 2010»
15 years 6 months ago
A fast algorithm for the total variation model of image denoising
The total variation model of Rudin, Osher, and Fatemi for image denoising is considered to be one of the best denoising models. In the past, its solutions were based on nonlinear ...
Rong-Qing Jia, Hanqing Zhao