• No results found

[PDF] Top 20 Reasoning over Streaming Data in Metric Temporal Datalog

Has 10000 "Reasoning over Streaming Data in Metric Temporal Datalog" found on our website. Below are the top 20 most common "Reasoning over Streaming Data in Metric Temporal Datalog".

Reasoning over Streaming Data in Metric Temporal Datalog

Reasoning over Streaming Data in Metric Temporal Datalog

... answering over stream- ing data, systems must compute results over received par- tial data as if the entire (infinite) stream had been ...on data that has not yet been received or which ... See full document

8

Ontology-Based Data Access to Big Data

Ontology-Based Data Access to Big Data

... ontology-based data access (OBDA) have extended the focus from relational database systems to other types of backends such as cluster frameworks in order to cope with the four Vs associated with big data: ... See full document

12

Ontology-mediated query answering over temporal data: A survey

Ontology-mediated query answering over temporal data: A survey

... or datalog-rewritability, and the data complexity of query evaluation, where the given OMQ is regarded to be fixed while the data ...on temporal data modelling and algorithmic ... See full document

36

Streaming MASSIF : cascading reasoning for efficient processing of iot data streams

Streaming MASSIF : cascading reasoning for efficient processing of iot data streams

... of data. To perform meaningful analysis over multiple of these streams, stream processing needs to support expressive reasoning capabilities to infer implicit facts and temporal ... See full document

33

Ontology based data access with a horn fragment of metric temporal logic

Ontology based data access with a horn fragment of metric temporal logic

... the temporal span (with some necessary increase of the spatial spread) and (ii) the geographical spread of ...state data for the 10 continuous periods between 2005 and 2014; see Table ...10 data ... See full document

8

Streaming Video Based On Temporal Frame Transcoding.

Streaming Video Based On Temporal Frame Transcoding.

... video streaming. The video streaming consumes a lot of network bandwidth and any loss or delay of the data affecting the video ...video streaming technique to reduce the number of video frames ... See full document

6

KNN-Based Approximate Outlier Detection Algorithm Over IoT Streaming Data

KNN-Based Approximate Outlier Detection Algorithm Over IoT Streaming Data

... Multitudes of methods could be used for evaluating whether an object in a data set D is an outlier. Among all of them, distance-based outlier detection is the most popular one [18]. The key behind it is if an ... See full document

11

Ontology-mediated query answering over temporal and inconsistent data | www.semantic-web-journal.net

Ontology-mediated query answering over temporal and inconsistent data | www.semantic-web-journal.net

... stream reasoning requires background knowl- edge either on the streams used or on the context in which the information provided by the streams is to be ...ogy reasoning systems. Second, stream ... See full document

46

Joint Reasoning for Temporal and Causal Relations

Joint Reasoning for Temporal and Causal Relations

... Understanding temporal and causal rela- tions between events is a fundamental nat- ural language understanding ...effect, temporal and causal relations are closely related and one relation often dic- tates ... See full document

11

On the expressiveness and monitoring of metric temporal logic

On the expressiveness and monitoring of metric temporal logic

... Truncated semantics . As one is naturally concerned with truncated traces in monitoring, it is useful to define satisfaction relations of MTL[U, S] formulas over finite timed words. To this end, we adopt a timed ... See full document

53

The RACE Project: Robustness by Autonomous Competence Enhancement

The RACE Project: Robustness by Autonomous Competence Enhancement

... It is apparent from the overall aim of RACE that the project would face at least three methodological issues (which it shared with quite a few companion projects). First, a bootstrapping problem: to generate robot ex- ... See full document

9

Enhanced QoE-oriented packet scheduling scheme for HTTP video streaming in LTE networks

Enhanced QoE-oriented packet scheduling scheme for HTTP video streaming in LTE networks

... With the rapid development of smart phones and other portable media devices, video traffic accounts for a large proportion of mobile applications. According to forecast [1], mobile video transmission will generate 66% of ... See full document

5

Survey of Streaming Data AlgorithmsSurvey of Streaming Data Algorithms

Survey of Streaming Data AlgorithmsSurvey of Streaming Data Algorithms

... the data set. This test determines which path a data item should ...a data item from its root to leaves based on the tests at each node along the ...training data is available the algorithm ... See full document

10

White Paper OTT Streaming 2 nd edition, September 2011 Lionel Bringuier, CTO, Anevia

White Paper OTT Streaming 2 nd edition, September 2011 Lionel Bringuier, CTO, Anevia

... HLS streaming is without any doubt the most widespread protocol used for OTT, as it is available on all Apple devices (iPhone, iPad, ...shows over the ... See full document

17

Temporal Reasoning in Natural Language Understanding: The Temporal Structure of the Narrative

Temporal Reasoning in Natural Language Understanding: The Temporal Structure of the Narrative

... using knowledge about durations and as- pectual classes o f events, determine the as- pectual perspective o f the new sentence and the position o f the temporal focus;.. using knowledge [r] ... See full document

8

Ontology mediated query answering over temporal data: a survey

Ontology mediated query answering over temporal data: a survey

... taken over some period. The choice of how to conceptualise the data depends on the application ...the data instance related to the situations when active power was above ... See full document

38

OPTIMIZATION OF HIGH VOLTAGE POWER SUPPLY FOR INDUSTRIAL MICROWAVE GENERATORS 
FOR ONE MAGNETRON

OPTIMIZATION OF HIGH VOLTAGE POWER SUPPLY FOR INDUSTRIAL MICROWAVE GENERATORS FOR ONE MAGNETRON

... In Datalog, all condition predicates are arithmetic comparison predicates, so when rule body only contains condition predicates, Datalog basic safety convention is ... See full document

8

Reasoning-Driven Question-Answering For Natural Language Understanding

Reasoning-Driven Question-Answering For Natural Language Understanding

... studies reasoning systems for question answering on elementary-school science exams, using a semi-structured knowledge ...structured reasoning for this task, and an IR engine provided with the same ...to ... See full document

214

Optimal Bandwidth Assignment Techniques for Multiple Description Coded Video

Optimal Bandwidth Assignment Techniques for Multiple Description Coded Video

... Cinematographic streaming services are essential due to enhancement in technologies for video compression and broadband ...Cinematographic streaming over multicast network, user’s bandwidth ... See full document

5

Streaming Live Media over Peers

Streaming Live Media over Peers

... consider streaming-media delivery via mul- ...regularly over the stream duration, is small. Thus, while the end-system metric of packet loss due to node failures is not a useful metric to ... See full document

14

Show all 10000 documents...