Sciweavers

673 search results - page 42 / 135
» Approximate coherence-based reasoning
Sort
View
LPAR
2010
Springer
14 years 9 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
DEBU
2010
173views more  DEBU 2010»
14 years 9 months ago
uFLIP: Understanding the Energy Consumption of Flash Devices
Understanding the energy consumption of flash devices is important for two reasons. First, energy is emerging as a key metric for data management systems. It is thus important to ...
Matias Bjørling, Philippe Bonnet, Luc Bouga...
IJACTAICIT
2010
200views more  IJACTAICIT 2010»
14 years 9 months ago
An Intelligent Framework for Natural Object Identification in Images
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
Aasia Khanum
GIS
2010
ACM
14 years 10 months ago
Supporting location-based approximate-keyword queries
Many Web sites support keyword search on their spatial data, such as business listings and photos. In these systems, inconsistencies and errors can exist in both queries and the d...
Sattam Alsubaiee, Alexander Behm, Chen Li
RSCTC
2000
Springer
147views Fuzzy Logic» more  RSCTC 2000»
15 years 3 months ago
Towards Rough Neural Computing Based on Rough Membership Functions: Theory and Application
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
James F. Peters, Andrzej Skowron, Liting Han, Shee...