Sciweavers

356 search results - page 9 / 72
» Goal-Driven Analysis of Process Model Validity
Sort
View
ICSE
2004
IEEE-ACM
14 years 7 months ago
Validating the Unit Correctness of Spreadsheet Programs
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamu...
ICPR
2008
IEEE
14 years 9 months ago
Generic scale-space process for handwriting documents analysis
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
Guillaume Joutel, Hubert Emptoz, Véronique ...
VVEIS
2007
13 years 8 months ago
Transformation of BPMN Models for Behaviour Analysis
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...
ICIP
2003
IEEE
14 years 9 months ago
Robust time-frequency model estimation in otolith images for fish age and growth analysis
We present a robust method for time-frequency model estimation. It involves a robust Leclerc's estimator to ensure robustness w.r.t. noise and interferences present in timefr...
Ronan Fablet, Abdessalam Benzinou, Christian Donca...
WSC
2004
13 years 9 months ago
Simulation Output Analysis Based on Excursions
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...
James M. Calvin