Sciweavers

4466 search results - page 181 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
148
Voted
ITP
2010
140views Mathematics» more  ITP 2010»
15 years 10 months ago
Case-Analysis for Rippling and Inductive Proof
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
Moa Johansson, Lucas Dixon, Alan Bundy
IDEAL
2004
Springer
15 years 11 months ago
Dimensionality Reduction with Image Data
A common objective in image analysis is dimensionality reduction. The most common often used data-exploratory technique with this objective is principal component analysis. We pro...
Mónica Benito, Daniel Peña
SAC
2006
ACM
15 years 6 months ago
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Ke...
BMCBI
2005
161views more  BMCBI 2005»
15 years 6 months ago
Non-linear mapping for exploratory data analysis in functional genomics
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
Francisco Azuaje, Haiying Wang, Alban Chesneau
IS
2010
15 years 4 months ago
DB-SMoT: A direction-based spatio-temporal clustering method
—Existing works for semantic trajectory data analysis have focused on the intersection of trajectories with application important geographic information and the use of the speed ...
Jose Antonio M. R. Rocha, Valéria Ces&aacut...