Filters








396 Hits in 4.7 sec

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments [article]

Meghyn Bienvenu, Camille Bourgaux
2022 arXiv   pre-print
We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting  ...  Deciding whether a query answer holds under these semantics is (co)NP-complete in data complexity for a large class of logical theories, and SAT-based procedures have been devised for repair-based semantics  ...  In Section 5, we present our implemented system, ORBITS, which computes query answers under the chosen semantics using the selected encoding and algorithm.  ... 
arXiv:2202.07980v2 fatcat:ajuf4taygzawxe3r62jztucwhy

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

Meghyn Bienvenu, Camille Bourgaux
2022 Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning   unpublished
We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting  ...  Deciding whether a query answer holds under these semantics is (co)NP-complete in data complexity for a large class of logical theories, and SAT-based procedures have been devised for repair-based semantics  ...  In Section 5, we present our implemented system, ORBITS, which computes query answers under the chosen semantics using the selected encoding and algorithm.  ... 
doi:10.24963/kr.2022/54 fatcat:lclduwguafhwlpnscbbnapqkfa

On data management in pervasive computing environments

F. Perich, A. Joshi, T. Finin, Y. Yesha
2004 IEEE Transactions on Knowledge and Data Engineering  
Index Terms-Mobile data management, pervasive computing environments, data and knowledge representation, profile-driven caching algorithm, profile driven data management, data-centric routing algorithm  ...  We present a prototype implementation of this framework over combined Bluetooth and Ad Hoc 802.11 networks and present experimental and simulation results that validate our approach and measure system  ...  ACKNOWLEDGMENTS This work was supported in part by the US National Science Foundation awards IIS 9875433 and 0209001 and US Defense Advanced Research Projects Agency contract F30602-00-2-0591.  ... 
doi:10.1109/tkde.2004.1277823 fatcat:t4kalive5nhilcuilo3ts3q7fa

ESIP Evaluation of the NASA AIST DOMS Project

Chelle Gentemann, Benjamin Giese, David Long, Annie Burgess
2018 Figshare  
The Distributed Oceanographic Match-up Service (DOMS) is a website that allows users to query satellite and in situ data sets to find matching observations and has been developed and implemented as a collaboration  ...  A key aspect of DOMS is that the algorithm can access data at various distributed centers.  ...  Overview The Distributed Oceanographic Match-up Service (DOMS) is a website that allows 1 users to query satellite and in situ data sets to find matching observations and has been 2 developed and implemented  ... 
doi:10.6084/m9.figshare.6118433.v1 fatcat:7ymhz3yoljgpfokbcsmpmogway

OPF: A Distributed Context-Sensing Framework for Ubiquitous Computing Environments [chapter]

Max Van Kleek, Kai Kunze, Kurt Partridge, James "Bo" Begole
2006 Lecture Notes in Computer Science  
With respect to scalability, OPF accommodates the needs of a large number of applications simultaneously while conserving power and reducing the amount of data transmitted over the network.  ...  OPF provides flexibility, scalability, and robustness even as the sensor configuration changes.  ...  Our experience with the TDOA and co-location algorithms shows that the largest proportion of onsets fired are of this type.  ... 
doi:10.1007/11890348_7 fatcat:ergevnum3zfxthviqcvlcxnpau

InSAR Greece with Parallelized Persistent Scatterer Interferometry: A National Ground Motion Service for Big Copernicus Sentinel-1 Data

Ioannis Papoutsis, Charalampos Kontoes, Stavroula Alatza, Alexis Apostolakis, Constantinos Loupasakis
2020 Remote Sensing  
To make it efficient for large-scale applications, we re-engineered and parallelized interferogram creation and multitemporal interferometric processing, and introduced distributed implementations to best  ...  (PSI), tailored to scale to the vast multitemporal archive of Sentinel-1 data.  ...  Secondly, we focused on implementing parallelization with prioritizing the time-bottleneck and the most demanding processing tasks that do not exploit parallel resources in the original version of the  ... 
doi:10.3390/rs12193207 fatcat:jx54nsq3rbfjberizzdpokfm4u

Mobile 3D City Maps

Antti Nurminen
2008 IEEE Computer Graphics and Applications  
We apply asynchronous TCP/IP communications, with a lightweight binary protocol, which we define with XML. Content queries can be prioritized-for example, by visibility and distance.  ...  A public-transportation-schedule database was available in a proprietary format, but we found it to be inconsistent with road data.  ... 
doi:10.1109/mcg.2008.75 fatcat:45idf6czjvhojbm6hns2qwsmbm

Potential and Challenges of Harmonizing 40 Years of AVHRR Data: The TIMELINE Experience

Stefan Dech, Stefanie Holzwarth, Sarah Asam, Thorsten Andresen, Martin Bachmann, Martin Boettcher, Andreas Dietz, Christina Eisfelder, Corinne Frey, Gerhard Gesell, Ursula Gessner, Andreas Hirner (+17 others)
2021 Remote Sensing  
However, there is only one medium resolution sensor family in orbit that enables an observation time span of 40 and more years at a daily repeat interval. This is the AVHRR sensor family.  ...  However, only extremely thorough pre-processing and harmonization ensures that trends found in the data are real trends and not sensor-related (or other) artefacts.  ...  However, it also has a challenging inconsistency in the drifting and differing orbits of its individual instruments (cf. Section 3.1).  ... 
doi:10.3390/rs13183618 fatcat:lynncr3n75gjhia5vzvlotxgeu

Thiessen Polygons [chapter]

2017 Encyclopedia of GIS  
Definition Geographic information is inherently spatial and temporal. Geographic applications often demand an integrative approach to examine changes and interactions over space and time.  ...  Cross-References Fastest-Path Computation Graph Theory, Konigsberg Problem Nearest Neighbor Problem Routing Vehicles, Algorithms  ...  The Fagin Algorithm (FA) (Fagin 1996) , is one of the first Top-K query processing algorithms over middleware systems which interact with a number of autonomous data sources.  ... 
doi:10.1007/978-3-319-17885-1_101387 fatcat:gzp2stwscbcf7eupd3h6eztjri

Automatic dimension inference and checking for object-oriented programs

Sudheendra Hangal, Monica S. Lam
2009 2009 IEEE 31st International Conference on Software Engineering  
It then monitors these dimensional relationships as the program evolves, flagging inconsistencies that may be errors.  ...  We have run UniFi on real-life Java code and found that it is useful in exposing dimension errors.  ...  We thank Rajit Badgandi for working on early parts of the UniFi implementation, John Whaley for letting us use bddbddb as a test case and providing us feedback on the bugs, Christopher Unkel for useful  ... 
doi:10.1109/icse.2009.5070517 dblp:conf/icse/HangalL09 fatcat:jh5i3mztiravbmmlcubjj2suhe

From Data to Software to Science with the Rubin Observatory LSST [article]

Katelyn Breivik, Andrew J. Connolly, K. E. Saavik Ford, Mario Jurić, Rachel Mandelbaum, Adam A. Miller, Dara Norman, Knut Olsen, William O'Mullane, Adrian Price-Whelan, Timothy Sacco, J. L. Sokoloski (+88 others)
2022 arXiv   pre-print
To facilitate such opportunities, a community workshop entitled "From Data to Software to Science with the Rubin Observatory LSST" was organized by the LSST Interdisciplinary Network for Collaboration  ...  Much of this research will depend on the existence of robust, tested, and scalable algorithms, software, and services.  ...  We believe that most of the above can be done with existing infrastructure as the above queries can be written in SQL and executed with Qserv.  ... 
arXiv:2208.02781v1 fatcat:nt2uwu72mnextiixwhdrkft2zi

Named Data Networking in Vehicular Ad hoc Networks: State-of-the-Art and Challenges

Hakima Khelifi, Senlin Luo, Boubakr Nour, Hassine Moungla, Yasir Faheem, Rasheed Hussain, Adlen Ksentini
2019 IEEE Communications Surveys and Tutorials  
and adversely affect the data dissemination, content delivery, and user experiences.  ...  To realize ICN, Named Data Networking (NDN) is one of the recent implementations of ICN that provides a suitable communication approach due to its clean slate design and simple communication model.  ...  [98] proposed an NDN query mechanism namely NDN-Query with the aim to collect and aggregate data from distributed vehicular networks using V2X communication.  ... 
doi:10.1109/comst.2019.2894816 fatcat:qxljrw7bcrdgfko3itxprhsige

NASA's Earth Observing Data and Information System – Near-Term Challenges

Jeanne Behnke, Andrew Mitchell, Hampapuram Ramapriyan
2019 Data Science Journal  
Challenges in three key areas are addressed in this paper: managing volume and variety, enabling data discovery and access, and incorporating user feedback and concerns.  ...  NASA's Earth Observing System Data and Information System (EOSDIS) has been a central component of the NASA Earth observation program since the 1990's.  ...  Hampapuram Ramapriyan was supported by NASA contract NNG15HQ01C with Science Systems and Applications, Inc.  ... 
doi:10.5334/dsj-2019-040 fatcat:zdtcsdvcjzfd5lsduyamlfipca

Satellite assisted disrupted communications in OMNeT++: Experiments and IoT Case Study [article]

Georgios Koukis
2022 arXiv   pre-print
We design and implement a series of experiments in OMNeT++ (with the OS3 framework) and evaluate their results in different scenarios.  ...  Furthermore, we detail the OMNeT++ and OS3 frameworks and introduce the significant variables/parameters for our experiments.  ...  Experiments and Results I. "Simple" scenarios Our experiments describe cases of a single Sender transmitting data to a Receiver.  ... 
arXiv:2207.01436v2 fatcat:nluvwlvpefg4hizit6cpjra7xm

Simulation of a Soar-Based Autonomous Mission Management System for Unmanned Aircraft

Paolo Gunetti, Tony Dodd, Haydn Thompson
2013 Journal of Aerospace Information Systems  
The system was implemented using a combination of Soar intelligent agents and traditional control techniques, and it is thoroughly described in the first part of the paper.  ...  In conclusion, possible future developments are discussed, focusing in particular on prospective hardware implementation for the system.  ...  sensory input (including onboard sensors and external data), and algorithms for low-level tasks (autopilot and payload management).  ... 
doi:10.2514/1.53282 fatcat:jdefhx4evzd3zomjdyw2veiuwy
« Previous Showing results 1 — 15 out of 396 results