Sciweavers

2348 search results - page 261 / 470
» A Fuzzy Description Logic
Sort
View
POPL
1999
ACM
15 years 11 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
IMPERIAL
1994
15 years 10 months ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers
AMAI
2008
Springer
15 years 6 months ago
Default logic generalized and simplified
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
Alexander Bochman
EWSN
2010
Springer
16 years 3 months ago
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks
Abstract. Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Exist...
Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa ...
FUZZIEEE
2007
IEEE
16 years 28 days ago
A Genetic-Fuzzy Mining Approach for Items with Multiple Minimum Supports
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
Chun-Hao Chen, Tzung-Pei Hong, Vincent S. Tseng, C...