Sciweavers

7554 search results - page 1398 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
ICST
2009
IEEE
15 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
AISS
2010
143views more  AISS 2010»
15 years 2 months ago
Service Oriented Business Modeling To Identify Software Services
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...
Aida Amini Motlagh, Mir Ali Seyyedi
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 2 months ago
Integrating digital human modeling into virtual environment for ergonomic oriented design
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
Liang Ma, Damien Chablat, Fouad Bennis, Bo Hu, Wei...
IDEAL
2010
Springer
15 years 1 months ago
Robust 1-Norm Soft Margin Smooth Support Vector Machine
Based on studies and experiments on the loss term of SVMs, we argue that 1-norm measurement is better than 2-norm measurement for outlier resistance. Thus, we modify the previous 2...
Li-Jen Chien, Yuh-Jye Lee, Zhi-Peng Kao, Chih-Chen...
CONSTRAINTS
2011
14 years 11 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
« Prev « First page 1398 / 1511 Last » Next »