Sciweavers

3176 search results - page 116 / 636
» A Multi-Resolution Relational Data Model
Sort
View
TABLEAUX
2009
Springer
15 years 4 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
PKDD
2000
Springer
116views Data Mining» more  PKDD 2000»
15 years 1 months ago
Prior Knowledge in Economic Applications of Data Mining
A common form of prior knowledge in economic modelling concerns the monotonicity of relations between the dependent and explanatory variables. Monotonicity may also be an important...
A. J. Feelders
ICGI
2004
Springer
15 years 3 months ago
Partial Learning Using Link Grammars Data
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...
Erwan Moreau
WSC
2007
15 years 8 days ago
Verification and validation of simulation models
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
Robert G. Sargent
SDM
2011
SIAM
218views Data Mining» more  SDM 2011»
14 years 23 days ago
Segmented nestedness in binary data
A binary matrix is fully nested if its columns form a chain of subsets; that is, any two columns are ordered by the subset relation, where we view each column as a subset of the r...
Esa Junttila, Petteri Kaski