Sciweavers

360 search results - page 53 / 72
» The Origins of the Translator's Workstation
Sort
View
APN
2004
Springer
14 years 2 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»
14 years 2 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»
14 years 2 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»
14 years 2 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
14 years 2 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...