Sciweavers

1399 search results - page 15 / 280
» New Algorithms for k-Center and Extensions
Sort
View
PPL
2006
77views more  PPL 2006»
13 years 9 months ago
Parallelization of Wavelet Filters Using Simd Extensions
Much work has been done to optimize wavelet transforms for SIMD extensions of modern CPUs. However, these approaches are mostly restricted to the vertical part of 2-D transforms w...
Rade Kutil, Peter Eder
DATAMINE
1998
126views more  DATAMINE 1998»
13 years 9 months ago
An Extension to SQL for Mining Association Rules
Data mining evolved as a collection of applicative problems and efficient solution algorithms relative to rather peculiar problems, all focused on the discovery of relevant infor...
Rosa Meo, Giuseppe Psaila, Stefano Ceri
APWEB
2011
Springer
13 years 4 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
CAV
2010
Springer
282views Hardware» more  CAV 2010»
14 years 1 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
14 years 3 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson