Sciweavers

160 search results - page 32 / 32
» A Brief Survey of Web Data Extraction Tools
Sort
View
QEST
2009
IEEE
14 years 4 days ago
Recent Extensions to Traviando
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
Peter Kemper
ERCIMDL
2000
Springer
185views Education» more  ERCIMDL 2000»
13 years 9 months ago
CORC: Helping Libraries Take a Leading Role in the Digital Age
The OCLC Cooperative Online Resource Catalog is helping librarians thrive in the digital age. Librarians are using CORC to select, describe, maintain, and provide guided access to ...
Kay Covert
BPM
2009
Springer
157views Business» more  BPM 2009»
13 years 6 months ago
ProM: The Process Mining Toolkit
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...
Wil M. P. van der Aalst, Boudewijn F. van Dongen, ...
BMCBI
2005
133views more  BMCBI 2005»
13 years 5 months ago
Systematic determination of the mosaic structure of bacterial genomes: species backbone versus strain-specific loops
Background: Public databases now contain multitude of complete bacterial genomes, including several genomes of the same species. The available data offers new opportunities to add...
Hélène Chiapello, I. Bourgait, F. So...
CAV
2011
Springer
253views Hardware» more  CAV 2011»
12 years 9 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...