Sciweavers

7554 search results - page 817 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 11 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
WSCG
2003
119views more  WSCG 2003»
15 years 8 months ago
Real-Time Artefact Corrections for Quantitative MR Temperature Mapping
Apart from anatomical and physiological imaging, MRI can also be used to produce temperature maps. Our objective is to obtain such maps in real-time to monitor mini-invasive therm...
Baudouin Denis de Senneville, Pascal Desbarats, Br...
DKE
2006
135views more  DKE 2006»
15 years 7 months ago
An information retrieval approach to ontology mapping
In this paper, we present a heuristic mapping method and a prototype mapping system that support the process of semi-automatic ontology mapping for the purpose of improving semant...
Xiaomeng Su, Jon Atle Gulla
HCI
2009
15 years 5 months ago
Heuristic Evaluations of Bioinformatics Tools: A Development Case
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...
Barbara Mirel, Zach Wright
COLING
2010
15 years 2 months ago
Incremental Chinese Lexicon Extraction with Minimal Resources on a Domain-Specific Corpus
This article presents an original lexical unit extraction system for Chinese. The method is based on an incremental process driven by an association score featuring a minimal reso...
Gaël Patin