Sciweavers

360 search results - page 53 / 72
» The Origins of the Translator's Workstation
Sort
View
APN
2004
Springer
15 years 11 months ago
EMiT: A Process Mining Tool
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
ESA
2004
Springer
119views Algorithms» more  ESA 2004»
15 years 11 months ago
A Straight Skeleton Approximating the Medial Axis
We propose the linear axis, a new skeleton for polygonal shapes. It is related to the medial axis and the straight skeleton, being the result of a wavefront propagation process. Th...
Mirela Tanase, Remco C. Veltkamp
SAT
2004
Springer
94views Hardware» more  SAT 2004»
15 years 11 months ago
QBF Reasoning on Real-World Instances
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
HICSS
2003
IEEE
101views Biometrics» more  HICSS 2003»
15 years 11 months ago
System Architecture for Cross Border Payment A Case Study for the Financial Services Industry
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
Nadia Ayad, Alexander Verbraeck
CLEF
2003
Springer
15 years 11 months ago
Creating the DISEQuA Corpus: A Test Set for Multilingual Question Answering
This paper describes the procedure adopted by the three co-ordinators of the CLEF 2003 question answering track (ITC-irst, UNED and ILLC) to create the question set for the monoli...
Bernardo Magnini, Simone Romagnoli, Alessandro Val...