Sciweavers

4810 search results - page 141 / 962
» Modeling Value Speculation
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
ECBS
2010
IEEE
142views Hardware» more  ECBS 2010»
15 years 4 months ago
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures
In classical data warehouses (DWH), classification of values takes place in a sharp manner, because of this true values cannot be measured and smooth transition between classes do...
Daniel Fasel, Khurram Shahzad
FUZZIEEE
2007
IEEE
16 years 22 days ago
Learning Fuzzy Linguistic Models from Low Quality Data by Genetic Algorithms
— Incremental rule base learning techniques can be used to learn models and classifiers from interval or fuzzyvalued data. These algorithms are efficient when the observation e...
Luciano Sánchez, José Otero
TIME
2003
IEEE
15 years 11 months ago
A Novel Approach to Model NOW in Temporal Databases
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
Bela Stantic, John Thornton, Abdul Sattar
JSAI
2001
Springer
15 years 11 months ago
Medical Knowledge Discovery on the Meningoencephalitis Diagnosis Studied by the Cascade Model
: The cascade model is a rule induction methodology that uses level-wise expansion of a lattice. An attribute-value pair is expressed as an item, and every node in the lattice is s...
Takashi Okada