Sciweavers

884 search results - page 133 / 177
» A Performance Analysis Tool for Scenario-Aware Streaming App...
Sort
View
SIGSAND
2008
13 years 10 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
ECIR
1998
Springer
13 years 10 months ago
Content Based Annotation and Retrieval in RAIDER
A new system, RAIDER (Retrieval and Annotation of Image Databases), has been developed for the management of image databases. RAIDER was designed to combat the inadequacies and in...
Stephanie R. Fountain, Tieniu Tan
DAS
2010
Springer
14 years 1 months ago
IAMonDo-database: an online handwritten document database with non-uniform contents
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
Emanuel Indermühle, Marcus Liwicki, Horst Bun...
ESOP
2009
Springer
14 years 3 months ago
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
Caitlin Sadowski, Stephen N. Freund, Cormac Flanag...
IV
2007
IEEE
160views Visualization» more  IV 2007»
14 years 3 months ago
Targeted Projection Pursuit for Interactive Exploration of High- Dimensional Data Sets
High-dimensional data is, by its nature, difficult to visualise. Many current techniques involve reducing the dimensionality of the data, which results in a loss of information. ...
Joe Faith