Sciweavers

1078 search results - page 193 / 216
» The Modal Logic of Probability
Sort
View
108
Voted
ENVSOFT
2006
122views more  ENVSOFT 2006»
15 years 21 days ago
Automatic identification of oil spills on satellite images
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
Iphigenia Keramitsoglou, Constantinos Cartalis, Ch...
132
Voted
IANDC
2006
117views more  IANDC 2006»
15 years 21 days ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
109
Voted
IJSWIS
2007
87views more  IJSWIS 2007»
15 years 18 days ago
An Ontology-Based Data Mediation Framework for Semantic Environments
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
Adrian Mocan, Emilia Cimpian
99
Voted
RAS
2007
98views more  RAS 2007»
15 years 6 days ago
Occupancy grids building by sonar and mobile robot
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...
Sv. Noykov, Ch. Roumenin
SOCIALCOM
2010
14 years 10 months ago
q-Anon: Rethinking Anonymity for Social Networks
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
Aaron Beach, Mike Gartrell, Richard Han