Filters








339,107 Hits in 5.9 sec

An Observational Model for Spatial Logics

Emilio Tuosto, Hugo Torres Vieira
2006 Electronical Notes in Theoretical Computer Science  
Spatial logics have been proposed as the formal device for expressing spatial properties of systems.  ...  We define CCS || , a CCS-like calculus whose semantics allows one to observe spatial aspects of systems on the top of which we define models of the spatial logic.  ...  Acknowledgements Thanks to Luís Caires and Gianluigi Ferrari for helpful discussions and suggestions. Thanks also to Filippo Bonchi for related discussions.  ... 
doi:10.1016/j.entcs.2004.10.028 fatcat:w4q4hq6fsrcijdci3d7j6y6vae

A runtime system for logical-space programming

Eloi Pereira, Clemens Krainer, Pedro Marques da Silva, Christoph M. Kirsch, Raja Sengupta
2015 Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud - SWEC '15  
We demonstrate the use of logical-space programming for specifying and controlling the spatial behaviors of vehicles and sensors performing an environmental monitoring mission.  ...  In this paper we introduce logical-space programming, a spatial computing paradigm where programs have access to a logical space model, i.e., names and explicit relations over such names, while the runtime  ...  Observation There are three rules for modeling observations. Rule req obs : a, observe(q) models an agent a requesting an observation defined by query q of the logic-space model.  ... 
doi:10.1145/2756755.2756760 dblp:conf/cpsweek/PereiraKSKS15 fatcat:gzuzfuxpjvgxfjudhui6plj5gu

Flash in action

Ibrahim Sabek, Mashaal Musleh, Mohamed F. Mokbel
2019 Proceedings of the VLDB Endowment  
This demo presents Flash; a framework for generic and scalable spatial data analysis, with a special focus on spatial probabilistic graphical modelling (SPGM).  ...  The current explosion in spatial data raises the need for efficient spatial analysis tools to extract useful information from such data.  ...  An administrator should have expertise with both MLN and SPGM to provide user-defined functions for transforming spatial graphical models into a set of first-order logical rules [9] .  ... 
doi:10.14778/3352063.3352078 fatcat:txw37mans5ahlftm3y6sa3bbdi

Towards Safe Navigation by Formalizing Navigation Rules

Arne Kreutzmann, Diedrich Wolter, Frank Dylla, Jae Hee Lee
2013 TransNav: International Journal on Marine Navigation and Safety of Sea Transportation  
We are able to capture complex navigation concepts in an easily comprehensible representation that can directly be utilized by various bridge systems and that allows for software verification.  ...  One common approach is to use formal logic, but it requires to bridge a wide gap between navigation concepts and simple logic.  ...  ACKNOWLEDGEMENTS This work is carried out in context of the Transregional Collaborative Research Center Spatial Cognition, project R3-[Q-Shape].  ... 
doi:10.12716/1001.07.02.01 fatcat:y5wokhwyqbdjnij2awvpjh3pnm

Behavioral and Spatial Observations in a Logic for the π-Calculus [chapter]

Luís Caires
2004 Lecture Notes in Computer Science  
We study an expressive spatial logic for systems specified in the synchronous π-calculus with recursion, based on a small set of behavioral and spatial observations.  ...  We then show that model-checking is decidable for a useful class of processes that includes the finite-control fragment of the π-calculus.  ...  Thanks also to Luís Monteiro, Etienne Lozes, and Daniel Hirshckoff for related discussions. This work was partially funded by FET IST-2001-33100 Profundis.  ... 
doi:10.1007/978-3-540-24727-2_7 fatcat:kvujt3msuvevxaxd6vek6dkwfu

Co-Algebraic Models for Quantitative Spatial Logics

Vincenzo Ciancia, Gian Luigi Ferrari
2007 Electronical Notes in Theoretical Computer Science  
We introduce a class of coalgebraic models and a family of modal logics that support the specification of spatial properties of distributed applications.  ...  Under suitable conditions on the structure of c-semirings, we show that, even if our logical formalisms are equipped with spatial operators, the interpretation of formulas fully characterizes bisimilarity  ...  Acknowledgement The authors wish to thank Alberto Lluch-Lafuente for helpful comments.  ... 
doi:10.1016/j.entcs.2007.07.004 fatcat:y6iguaqgnfg3hflaacsqhc2fzy

A Space and Time Requirements Logic for Sensor Networks

Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
User requirements for sensor network applications can be expressed as spatial and temporal constraints on the events observed by sensor network nodes.  ...  The bi-modal requirements logic is based on timed propositional temporal logic and a one-hop spatial modal logic.  ...  Abstract regions provides an interface for programming spatial requirements. Kairos is a global macroprogramming model for sensor networks [16] .  ... 
doi:10.1109/isola.2006.23 dblp:conf/isola/Cardell-OliverRK06 fatcat:yj73fmbnjvh33kes5gy6lculhe

Editorial

Graeme Wright
2017 Journal of Spatial Science  
This issue also contains an array of papers from international authors featuring topics as broad as spatial modelling of bird habitats, regional ionospheric modelling for GNSS and tide prediction modelling  ...  Abdelazeem, Çelik and El-Rabbany undertook research to develop an efficient regional ionospheric (RIM) model using combined GPS/BeiDou observations based on the GPS-only observations and the combined GPS  ... 
doi:10.1080/14498596.2017.1345154 fatcat:ygct4wl4grfpliz4ppjwkd6shy

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
2014 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops  
In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action.  ...  Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours  ...  The authors thank Bill Johnston of Lothian Buses and Stuart Lowrie of the City of Edinburgh council for providing access to the data related to bus positions.  ... 
doi:10.1109/sasow.2014.16 dblp:conf/saso/CianciaGLLM14 fatcat:gxvfoezihbck5dpy7qrrpg765u

MappingSets for Spatial Observation Data Warehouses

José Ramon Rios Viqueira, David Martínez Casas, Sebastián Villarroya, José A. Taboada
2013 International Workshop on Information Management for Mobile Applications  
The present paper describes the design of a data modeling and management framework for observation data warehouses.  ...  A hybrid logical-functional data model based on the concept of MappingSet and relevant language enables the specification of spatio-temporal analytical processes.  ...  The approach consists of an E-R extension for observation data to be used at a conceptual level and a new logical level model that combines logical and functional paradigms.  ... 
dblp:conf/immoa/ViqueiraMVT13 fatcat:5w5qdnjzzfh4nch3jedf3cr7pu

Spatial Science and Its Traditions [chapter]

Jay D. Gatrell, Gregory D. Bierly, Ryan R. Jensen
2011 Research Design and Proposal Writing in Spatial Science  
Overall, the collection of model research and grant proposal should serve as an effective guide for the preparation of proposals with a spatial science emphasis (Table 1 .2 ).  ...  These technologies have made it possible for spatial researchers to more accurately model, analyze, and predict spatial patterns.  ... 
doi:10.1007/978-94-007-2281-1_1 fatcat:owials2gljel3dzwdwidyxxwci

Smart outlier detection of wireless sensor network

Sahar Kamal, Rabie Ramadan, Fawzy El-Refai
2016 Facta universitatis - series Electronics and Energetics  
Keywords-wireless sensor network, outlier's detection, fuzzy logic, spatial and temporal similarity.  ...  Moreover the proposed technique is able to classify this abnormal observation, an error data set or event affected set.  ...  If probability of output of fuzzy logic is exceeding a preselected threshold, the observation is considered as an outlier.  ... 
doi:10.2298/fuee1603383k fatcat:sdc5cngidfhaflwb55ossdml7m

A Spatial Logic for a Simplicial Complex Model [article]

Michele Loreti, Michela Quadrini
2022 arXiv   pre-print
These are used to model spatial relations, describing a form of proximity among pairs of entities.  ...  In this work, we propose a spatial logic interpreted on simplicial complexes.  ...  In Section 4, the model-checking algorithms for the spatial logic interpreted on simplicial models are presented.  ... 
arXiv:2105.08708v3 fatcat:2xqtwbyssjg4tm2lk3qkrh7ska

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications [chapter]

Luís Caires, Hugo Torres Vieira
2012 Lecture Notes in Computer Science  
The Spatial Logic Model Checker is a tool for verifying safety, liveness, and structural properties of systems in the π-calculus, expressed in the spatial logic for concurrency of Caires and Cardelli.  ...  The implementation, written in OCAML, is mature and extremely robust, available in open source, and outperforms other existing tools for verifying processes modeled in the π-calculus.  ...  Its base logic is a very rich dynamical spatial logic for concurrency, even if conveniently contains as a subset the logics supported by early model-checkers for π-calculi (e.g., [16, 11, 20] ).  ... 
doi:10.1007/978-3-642-28756-5_35 fatcat:cvkpseizdbhido4jjrh3fntggi

The predictive capacity of the high resolution weather research and forecasting model: a year-long verification over Italy

L. Apicella, S. Puca, M. Lagasio, A. N. Meroni, M. Milelli, N. Vela, V. Garbero, L. Ferraris, A. Parodi
2021 Bulletin of Atmospheric Science and Technology  
The validation is carried out with a fuzzy logic approach, by comparing the precipitation predicted by the WRF model, and the precipitation observed by the national network.  ...  The fuzzy logic technique, by considering different intensity thresholds, allows to identify the reliable spatial scales of the forecasts.  ...  Fuzzy logic analysis A fuzzy logic analysis allows a comparison between observed and forecast data, with the advantage that the final error is not calculated pointwise, but allowing a spatial window in  ... 
doi:10.1007/s42865-021-00032-x fatcat:pyzs35vc3fdkniiinlgpllwvta
« Previous Showing results 1 — 15 out of 339,107 results