Sciweavers

108 search results - page 10 / 22
» Realization Problem for Formal Concept Analysis
Sort
View
AAAI
1990
13 years 8 months ago
Practical Temporal Projection
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
Steve Hanks
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
13 years 11 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
SEMWEB
2005
Springer
14 years 28 days ago
Ontology Based Analysis of Experimental Data
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
Andrea Splendiani
ML
2007
ACM
144views Machine Learning» more  ML 2007»
13 years 7 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt
ICCS
2004
Springer
14 years 25 days ago
Iceberg Query Lattices for Datalog
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
Gerd Stumme