Sciweavers

557 search results - page 110 / 112
» Automatic Abstraction for Verification of Timed Circuits and...
Sort
View
WISE
2010
Springer
13 years 6 months ago
Neighborhood-Restricted Mining and Weighted Application of Association Rules for Recommenders
Abstract. Association rule mining algorithms such as Apriori were originally developed to automatically detect patterns in sales transactions and were later on also successfully ap...
Fatih Gedikli, Dietmar Jannach
POPL
2010
ACM
14 years 6 months ago
Semantics and Algorithms for Data-dependent Grammars
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
Yitzhak Mandelbaum, Trevor Jim, David Walker
ICDE
2005
IEEE
122views Database» more  ICDE 2005»
14 years 2 months ago
Autonomous Index Optimization in XML Databases
Abstract— Defining suitable indexes is a major task when optimizing a database. Usually, a human database administrator defines a set of indexes in the design phase of the data...
Beda Christoph Hammerschmidt, Martin Kempa, Volker...
MICCAI
2010
Springer
13 years 7 months ago
Complete Valvular Heart Apparatus Model from 4D Cardiac CT
Abstract. The cardiac valvular apparatus, composed of the aortic, mitral, pulmonary and tricuspid valve, is an essential part of the anatomical, functional and hemodynamic characte...
Sasa Grbic, Razvan Ioan Ionasec, Dime Vitanovski, ...
PPOPP
2010
ACM
14 years 3 months ago
An adaptive performance modeling tool for GPU architectures
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
Sara S. Baghsorkhi, Matthieu Delahaye, Sanjay J. P...