Sciweavers

7821 search results - page 385 / 1565
» Nested Ordered Sets and their Use for Data Modelling
Sort
View
ICTAI
2007
IEEE
16 years 1 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
SPIN
2000
Springer
15 years 10 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
AE
2007
Springer
16 years 1 months ago
A Study of Crossover Operators for Gene Selection of Microarray Data
Classification of microarray data requires the selection of a subset of relevant genes in order to achieve good classification performance. Several genetic algorithms have been d...
Jose Crispin Hernandez Hernandez, Béatrice ...
ATAL
2007
Springer
16 years 1 months ago
An agent-based methodology for analyzing and visualizing educational assessment data
We examine data collected from on-line assessments of the numeracy and literacy skills of young students in order to construct probabilistic agent-based controllers. We demonstrat...
Elizabeth Sklar, Jordan Salvit, Christopher Camach...
IFIP12
2010
15 years 4 months ago
Information Fusion for Entity Matching in Unstructured Data
Every day the global media system produces an abundance of news stories, all containing many references to people. An important task is to automatically generate reliable lists of ...
Omar Ali, Nello Cristianini