69,234 Hits in 5.5 sec

Handling Impossible Derivations During Stream Reasoning [chapter]

Hamid R. Bazoobandi, Henri Bal, Frank van Harmelen, Jacopo Urbani
2020 Lecture Notes in Computer Science  
To further alleviate this problem, this paper introduces a new technique that infers the impossibility of certain derivations in the future and blocks the reasoner from performing computation that is doomed  ...  Logic-based frameworks like LARS allow the execution of complex reasoning on such streams, but it is paramount that the computation is completed in a timely manner before the stream expires.  ...  Since we know that it is impossible that q(a) will be derived, we can disable the rule and simplify reasoning.  ... 
doi:10.1007/978-3-030-49461-2_1 fatcat:calthoqtqfbdpmssfizr6pzccu

Page 1040 of Engineering and Mining Journal Vol. 107, Issue 24 [page]

1919 Engineering and Mining Journal  
It is a small stream about four miles long.  ...  Owing to the large amount of tailing it was neces- sary to handle before getting into virgin ground, the returns so far have not been as satisfactory as had been anticipated.  ... 

Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure [article]

Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani
2019 arXiv   pre-print
With our semantic model for monitoring data and our SE-TSDB tool suite, users can retrieve non-existing data streams that can be automatically derived from the semantics.  ...  Users can also retrieve data streams without knowing where they are.  ...  Since there may be a large number of DBs and DSs, it is not feasible to explore all the DBs and their DSs during reasoning.  ... 
arXiv:1902.03533v1 fatcat:7jo5qepqs5bpzolm44hvpl5ovm

Quality-driven disorder handling for m-way sliding window stream joins

Yuanzhen Ji, Jun Sun, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer
2016 2016 IEEE 32nd International Conference on Data Engineering (ICDE)  
Sliding window join is one of the most important operators for stream applications.  ...  To produce high quality join results, a stream processing system must deal with the ubiquitous disorder within input streams which is caused by network delay, asynchronous source clocks, etc.  ...  Due to the dynamic nature of data streams, it is impossible to make precise predictions; as a result, the derived buffer sizes may not guarantee a Φ(Γ) of 100%.  ... 
doi:10.1109/icde.2016.7498265 dblp:conf/icde/JiSNJHF16 fatcat:h6fnqkbn3zadpox47t4bwkajwa

An approach for knowledge-based IT management of air traffic control systems

Fabian Meyer, Reinhold Kroeger, Ralf Heidger, Morris Milekovic
2013 Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013)  
Ontology rules are evaluated using semantic reasoning, event aggregations are translated into rules for the CEP engine.  ...  During runtime, data from the Managed System is classified to be either low-frequent or high-frequent and is accordingly either mapped to the ontology or used as input for the CEP engine.  ...  The software has been implemented prototypically ,using the OWL API for ontology handling, the Pellet OWL reasoner for ontology reasoning, and the Esper CEP engine for event processing.  ... 
doi:10.1109/cnsm.2013.6727856 dblp:conf/cnsm/MeyerKHM13 fatcat:azemzhcznbgvfcza6tzctdriga

A Modular Software Architecture for Real-Time Video Processing [chapter]

Alexandre R. J. François, Gérard G. Medioni
2001 Lecture Notes in Computer Science  
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time.  ...  We demonstrate the power of our architecture for video processing with a real-time video stream segmentation application.  ...  These filtering operations return handles, used during processing for direct access to relevant nodes.  ... 
doi:10.1007/3-540-48222-9_3 fatcat:tofea2zdlbd25llf4mms2gkuwi

Automated energy monitoring of machine tools

A. Vijayaraghavan, D. Dornfeld
2010 CIRP annals  
Event stream processing techniques are applied to automate the monitoring and analysis of energy consumption in manufacturing systems.  ...  As demonstrated, the event stream processing technology enables reasoning of vast data streams, over the events that occur in the streams, as well as complex, abstracted events.  ...  This data can also be used to derive the embedded energy in consumer products.  ... 
doi:10.1016/j.cirp.2010.03.042 fatcat:u25jsjbcl5gmhooh6rpxytoroa

Report on the probabilistic language scheme

Alexey Radul
2007 Proceedings of the 2007 symposium on Dynamic languages - DLS '07  
Reasoning with probabilistic models is a widespread and successful technique in areas ranging from computer vision, to natural language processing, to bioinformatics.  ...  Currently, these reasoning systems are either coded from scratch in general-purpose languages or use formalisms such as Bayesian networks that have limited expressive power.  ...  The stream will emit another impossibility.  ... 
doi:10.1145/1297081.1297085 dblp:conf/dls/Radul07 fatcat:sqgeuwj36va67nqvah3gktwqva

From Sensor Readings to Predictions: On the Process of Developing Practical Soft Sensors [chapter]

Marcin Budka, Mark Eastwood, Bogdan Gabrys, Petr Kadlec, Manuel Martin Salvador, Stephanie Schwan, Athanasios Tsakonas, Indrė Žliobaitė
2014 Lecture Notes in Computer Science  
Automatic data acquisition systems provide large amounts of streaming data generated by physical sensors.  ...  This study analyzes the process of data preparation for predictive models with streaming sensor data.  ...  The authors present it as a four step process consisting of handling missing data, detecting and handling outliers, deriving a regression model and validating it on independent data.  ... 
doi:10.1007/978-3-319-12571-8_5 fatcat:vjxm3s3svnayfgqlc63x7ct5au

The CGAL kernel: A basis for geometric computation [chapter]

Andreas Fabri, Geert-Jan Giezeman, Lutz Kettner, Stefan Schirra, Sven Schönherr
1996 Lecture Notes in Computer Science  
Reasons for this are the dissimilarity between fast oating-point arithmetic normally used in practice and exact arithmetic over the real numbers assumed in theoretical papers, the lack of explicit handling  ...  During the development of cgal people need tools which allow graphical debugging of their algorithms.  ... 
doi:10.1007/bfb0014496 fatcat:gwbvtgrqenh3nbua7a3cenvzx4

Open Data Fabric: A Decentralized Data Exchange and Transformation Protocol With Complete Reproducibility and Provenance [article]

Sergii Mikhtoniuk, Ozge Nilay Yalcin
2021 arXiv   pre-print
We believe that the fundamental reason lies in the modern data management processes being entirely at odds with the basic principles of collaboration and trust.  ...  It would be practically impossible to write a conventional batch processing logic that correctly handles all the temporal edge cases on a mass scale.  ...  a lot more natural and easier to reason about than the arrival time.  ... 
arXiv:2111.06364v1 fatcat:r6p5d47atnh6ppp3mw45vndstm

Partial preprocessing C code for variability analysis

Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann
2011 Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems - VaMoS '11  
From the representation as conditional token stream, we can directly derive other equivalent representations that are easier to read by developers, such as C code that contains #if and #endif statements  ...  Drawbacks are that, without reasoning about satisfiability, we might generate dead code during macro expansion and the output might be incorrect in cases the include-guard heuristic fails.  ... 
doi:10.1145/1944892.1944908 dblp:conf/vamos/KastnerGO11 fatcat:45hz6akwynar5l2tnerutumzfe

Error spreading: a perception-driven approach to handling error in continuous media streaming

S. Varadarajan, H.Q. Ngo, J. Srivastava
2002 IEEE/ACM Transactions on Networking  
Our error spreading idea deals with either cases where the stream has or does not have inter-frame dependencies.  ...  In a long-haul, heterogeneous network like the Internet, handling such an error becomes especially difficult.  ...  The reason for the lower consecutive loss in stream 2 is that its losses are more spread-out than those of stream 1.  ... 
doi:10.1109/90.986585 fatcat:zxdybs3orzg4pljjnhr3yplvsi

Semantic web technologies in pervasive computing: A survey and research roadmap

Juan Ye, Stamatia Dasiopoulou, Graeme Stevenson, Georgios Meditskos, Efstratios Kontopoulos, Ioannis Kompatsiaris, Simon Dobson
2015 Pervasive and Mobile Computing  
This article reviews the application of the Semantic Web to pervasive and sensor-driven systems with a focus on information modelling and reasoning along with streaming data and uncertainty handling.  ...  Data streams coming from sensors are inherently noisy, imprecise and inaccurate, with di↵ering sampling rates and complex correlations with each other.  ...  sensor data to derive new knowledge, and facilitating querying over live sensor streams.  ... 
doi:10.1016/j.pmcj.2014.12.009 fatcat:dehfs5inkbexpagk265co5tvxi

Continuous analytics over discontinuous streams

Sailesh Krishnamurthy, Michael J. Franklin, Jeffrey Davis, Daniel Farina, Pasha Golovko, Alan Li, Neil Thombre
2010 Proceedings of the 2010 international conference on Management of data - SIGMOD '10  
We argue, therefore, that stream processing needs a fundamental rethink and advocate a unified approach toward continuous analytics over discontinuous streaming data.  ...  The reality, however, is that streams are not often so well behaved and disruptions of various sorts are endemic.  ...  When the out-of-order tuple with timestamp 3 arrives during that same window, it is handled in the second partition, as it is still in-order relative to that partition.  ... 
doi:10.1145/1807167.1807290 dblp:conf/sigmod/KrishnamurthyFDFGLT10 fatcat:alwdchtdxrhudgnmznwbuqfjhm
« Previous Showing results 1 — 15 out of 69,234 results