Sciweavers

2348 search results - page 299 / 470
» A Fuzzy Description Logic
Sort
View
FSKD
2010
Springer
205views Fuzzy Logic» more  FSKD 2010»
15 years 4 months ago
Research on spatial data mining based on uncertainty in Government GIS
Uncertainty is the intrinsic property of spatial data and one of important factors affecting the course of spatial data mining. There are diversiform forms for the essentiality an...
Bin Li, Lihong Shi, Jiping Liu
EUSFLAT
2009
133views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
On the Information Provided by Uncertainty Measures in the Classification of Remote Sensing Images
This paper investigates the potential information provided to the user by the uncertainty measures applied to the possibility distributions associated with the spatial units of an ...
Luisa M. S. Gonçalves, Cidália C. Fo...
CADE
2009
Springer
16 years 1 months ago
SPASS Version 3.5
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
Christoph Weidenbach, Dilyana Dimova, Arnaud Fietz...
LICS
2007
IEEE
16 years 25 days ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
KBSE
2006
IEEE
16 years 17 days ago
An Instant Message-Driven User Interface Framework for Thin Client Applications
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
Matthias Book, Volker Gruhn, Gerald Mucke