Sciweavers

3284 search results - page 177 / 657
» On the modularity of feature interactions
Sort
View
LPAR
2010
Springer
15 years 5 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel
ICDM
2010
IEEE
185views Data Mining» more  ICDM 2010»
15 years 4 months ago
Detecting Non-compliant Consumers in Spatio-Temporal Health Data: A Case Study from Medicare Australia
This paper describes our experience with applying data mining techniques to the problem of fraud detection in spatio-temporal health data in Medicare Australia. A modular framework...
Kee Siong Ng, Yin Shan, D. Wayne Murray, Alison Su...
CORR
2010
Springer
161views Education» more  CORR 2010»
15 years 4 months ago
CrystalGPU: Transparent and Efficient Utilization of GPU Power
General-purpose computing on graphics processing units (GPGPU) has recently gained considerable attention in various domains such as bioinformatics, databases and distributed comp...
Abdullah Gharaibeh, Samer Al-Kiswany, Matei Ripean...
TCS
2010
15 years 1 months ago
Monad transformers as monoid transformers
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
Mauro Jaskelioff, Eugenio Moggi
VIS
2007
IEEE
130views Visualization» more  VIS 2007»
16 years 7 months ago
Interactive Visual Analysis of Perfusion Data
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...
Steffen Oeltze, Helmut Doleisch, Helwig Hauser, ...