Gotowe bibliografie tematyczne / Temporal Algorithms

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Temporal Algorithms”

Autor: Grafiati

Data publikacji: 6 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Temporal Algorithms”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Temporal Algorithms"

Oettershagen, Lutz, i Petra Mutzel. "Computing top-k temporal closeness in temporal networks". Knowledge and Information Systems 64, nr 2 (8.01.2022): 507–35. http://dx.doi.org/10.1007/s10115-021-01639-4.

Pełny tekst źródła

Streszczenie:

AbstractThe closeness centrality of a vertex in a classical static graph is the reciprocal of the sum of the distances to all other vertices. However, networks are often dynamic and change over time. Temporal distances take these dynamics into account. In this work, we consider the harmonic temporal closeness with respect to the shortest duration distance. We introduce an efficient algorithm for computing the exact top-k temporal closeness values and the corresponding vertices. The algorithm can be generalized to the task of computing all closeness values. Furthermore, we derive heuristic modifications that perform well on real-world data sets and drastically reduce the running times. For the case that edge traversal takes an equal amount of time for all edges, we lift two approximation algorithms to the temporal domain. The algorithms approximate the transitive closure of a temporal graph (which is an essential ingredient for the top-k algorithm) and the temporal closeness for all vertices, respectively, with high probability. We experimentally evaluate all our new approaches on real-world data sets and show that they lead to drastically reduced running times while keeping high quality in many cases. Moreover, we demonstrate that the top-k temporal and static closeness vertex sets differ quite largely in the considered temporal networks.

Style APA, Harvard, Vancouver, ISO itp.

Van Beek, P., i D. W. Manchak. "The Design and Experimental Analysis of Algorithms for Temporal Reasoning". Journal of Artificial Intelligence Research 4 (1.01.1996): 1–18. http://dx.doi.org/10.1613/jair.232.

Pełny tekst źródła

Streszczenie:

Many applications -- from planning and scheduling to problems in molecular biology -- rely heavily on a temporal reasoning component. In this paper, we discuss the design and empirical analysis of algorithms for a temporal reasoning system based on Allen's influential interval-based framework for representing temporal information. At the core of the system are algorithms for determining whether the temporal information is consistent, and, if so, finding one or more scenarios that are consistent with the temporal information. Two important algorithms for these tasks are a path consistency algorithm and a backtracking algorithm. For the path consistency algorithm, we develop techniques that can result in up to a ten-fold speedup over an already highly optimized implementation. For the backtracking algorithm, we develop variable and value ordering heuristics that are shown empirically to dramatically improve the performance of the algorithm. As well, we show that a previously suggested reformulation of the backtracking search problem can reduce the time and space requirements of the backtracking search. Taken together, the techniques we develop allow a temporal reasoning component to solve problems that are of practical size.

Style APA, Harvard, Vancouver, ISO itp.

Li, Meng He, Chuan Lin, Jing Bei Tian i Sheng Hui Pan. "An Algorithms for Super-Resolution Reconstruction of Video Based on Spatio-Temporal Adaptive". Advanced Materials Research 532-533 (czerwiec 2012): 1680–84. http://dx.doi.org/10.4028/www.scientific.net/amr.532-533.1680.

Pełny tekst źródła

Streszczenie:

For the weakness of conventional POCS algorithms, a novel spatio-temporal adaptive super-resolution reconstruction algorithm of video is proposed in this paper. The spatio-temporal adaptive mechanism, which is based on POCS super-resolution reconstruction algorithm, can effectively prevent reconstructed image from the influence of inaccuracy of motion information and avoid the impact of noise amplification, which exist in using conventional POCS algorithms to reconstruct image sequences in dramatic motion. Experimental results show that the spatio-temporal adaptive algorithm not only effectively alleviate amplification noise but is better than the traditional POCS algorithms in signal to noise ration.

Style APA, Harvard, Vancouver, ISO itp.

Sun, Xiaoli, Yusong Tan, Qingbo Wu, Jing Wang i Changxiang Shen. "New Algorithms for Counting Temporal Graph Pattern". Symmetry 11, nr 10 (20.09.2019): 1188. http://dx.doi.org/10.3390/sym11101188.

Pełny tekst źródła

Streszczenie:

Temporal networks can describe multiple types of complex systems with temporal information in the real world. As an effective method for analyzing such network, temporal graph pattern (TGP) counting has received extensive attention and has been applied in diverse domains. In this paper, we study the problem of counting the TGP in the temporal network. Then, an exact algorithm is proposed based on the time first search (TFS) algorithm. This algorithm can reduce the intermediate results generated in the graph isomorphism and has high computational efficiency. To further improve the algorithm performance, we design an estimation algorithm by applying the edge sampling strategy to the exact algorithm. Finally, we evaluate the performances of the two algorithms by counting both the symmetric and asymmetric TGP. Extensive experiments on real datasets demonstrated that the exact algorithm is faster than the existing algorithm and the estimation algorithm can greatly reduce the running time while guaranteeing the accuracy.

Style APA, Harvard, Vancouver, ISO itp.

Li, Xin, Huayan Yu, Ligang Yuan i Xiaolin Qin. "Query Optimization for Distributed Spatio-Temporal Sensing Data Processing". Sensors 22, nr 5 (23.02.2022): 1748. http://dx.doi.org/10.3390/s22051748.

Pełny tekst źródła

Streszczenie:

The unprecedented development of Internet of Things (IoT) technology produces humongous amounts of spatio-temporal sensing data with various geometry types. However, processing such datasets is often challenging due to high-dimensional sensor data geometry characteristics, complex anomalistic spatial regions, unique query patterns, and so on. Timely and efficient spatio-temporal querying significantly improves the accuracy and intelligence of processing sensing data. Most existing query algorithms show their lack of supporting spatio-temporal queries and irregular spatial areas. In this paper, we propose two spatio-temporal query optimization algorithms based on SpatialHadoop to improve the efficiency of query spatio-temporal sensing data: (1) spatio-temporal polygon range query (STPRQ), which aims to find all records from a polygonal location in a time interval; (2) spatio-temporal k nearest neighbors query (STkNNQ), which directly searches the query point’s k closest neighbors. To optimize the STkNNQ algorithm, we further propose an adaptive iterative range optimization algorithm (AIRO), which can optimize the iterative range of the algorithm according to the query time range and avoid querying irrelevant data partitions. Finally, extensive experiments based on trajectory datasets demonstrate that our proposed query algorithms can significantly improve query performance over baseline algorithms and shorten response time by 81% and 35.6%, respectively.

Style APA, Harvard, Vancouver, ISO itp.

Ahmed, Nesreen K., Nick Duffield i Ryan A. Rossi. "Online Sampling of Temporal Networks". ACM Transactions on Knowledge Discovery from Data 15, nr 4 (czerwiec 2021): 1–27. http://dx.doi.org/10.1145/3442202.

Pełny tekst źródła

Streszczenie:

Temporal networks representing a stream of timestamped edges are seemingly ubiquitous in the real world. However, the massive size and continuous nature of these networks make them fundamentally challenging to analyze and leverage for descriptive and predictive modeling tasks. In this work, we propose a general framework for temporal network sampling with unbiased estimation. We develop online, single-pass sampling algorithms, and unbiased estimators for temporal network sampling. The proposed algorithms enable fast, accurate, and memory-efficient statistical estimation of temporal network patterns and properties. In addition, we propose a temporally decaying sampling algorithm with unbiased estimators for studying networks that evolve in continuous time, where the strength of links is a function of time, and the motif patterns are temporally weighted. In contrast to the prior notion of a △ t -temporal motif, the proposed formulation and algorithms for counting temporally weighted motifs are useful for forecasting tasks in networks such as predicting future links, or a future time-series variable of nodes and links. Finally, extensive experiments on a variety of temporal networks from different domains demonstrate the effectiveness of the proposed algorithms. A detailed ablation study is provided to understand the impact of the various components of the proposed framework.

Style APA, Harvard, Vancouver, ISO itp.

Jain, Anuj, i Sartaj Sahni. "Foremost Walks and Paths in Interval Temporal Graphs". Algorithms 15, nr 10 (29.09.2022): 361. http://dx.doi.org/10.3390/a15100361.

Pełny tekst źródła

Streszczenie:

The min-wait foremost, min-hop foremost and min-cost foremost paths and walks problems in interval temporal graphs are considered. We prove that finding min-wait foremost and min-cost foremost walks and paths in interval temporal graphs is NP-hard. We develop a polynomial time algorithm for the single-source all-destinations min-hop foremost paths problem and a pseudopolynomial time algorithm for the single-source all-destinations min-wait foremost walks problem in interval temporal graphs. We benchmark our algorithms against algorithms presented by Bentert et al. for contact sequence graphs and show, experimentally, that our algorithms perform up to 207.5 times faster for finding min-hop foremost paths and up to 23.3 times faster for finding min-wait foremost walks.

Style APA, Harvard, Vancouver, ISO itp.

Deb, Rohan, i Shalabh Bhatnagar. "Gradient Temporal Difference with Momentum: Stability and Convergence". Proceedings of the AAAI Conference on Artificial Intelligence 36, nr 6 (28.06.2022): 6488–96. http://dx.doi.org/10.1609/aaai.v36i6.20601.

Pełny tekst źródła

Streszczenie:

Gradient temporal difference (Gradient TD) algorithms are a popular class of stochastic approximation (SA) algorithms used for policy evaluation in reinforcement learning. Here, we consider Gradient TD algorithms with an additional heavy ball momentum term and provide choice of step size and momentum parameter that ensures almost sure convergence of these algorithms asymptotically. In doing so, we decompose the heavy ball Gradient TD iterates into three separate iterates with different step sizes. We first analyze these iterates under one-timescale SA setting using results from current literature. However, the one-timescale case is restrictive and a more general analysis can be provided by looking at a three-timescale decomposition of the iterates. In the process we provide the first conditions for stability and convergence of general three-timescale SA. We then prove that the heavy ball Gradient TD algorithm is convergent using our three-timescale SA analysis. Finally, we evaluate these algorithms on standard RL problems and report improvement in performance over the vanilla algorithms.

Style APA, Harvard, Vancouver, ISO itp.

Guo, Yangnan, Cangjiao Wang, Shaogang Lei, Junzhe Yang i Yibo Zhao. "A Framework of Spatio-Temporal Fusion Algorithm Selection for Landsat NDVI Time Series Construction". ISPRS International Journal of Geo-Information 9, nr 11 (4.11.2020): 665. http://dx.doi.org/10.3390/ijgi9110665.

Pełny tekst źródła

Streszczenie:

Spatio-temporal fusion algorithms dramatically enhance the application of the Landsat time series. However, each spatio-temporal fusion algorithm has its pros and cons of heterogeneous land cover performance, the minimal number of input image pairs, and its efficiency. This study aimed to answer: (1) how to determine the adaptability of the spatio-temporal fusion algorithm for predicting images in prediction date and (2) whether the Landsat normalized difference vegetation index (NDVI) time series would benefit from the interpolation with images fused from multiple spatio-temporal fusion algorithms. Thus, we supposed a linear relationship existed between the fusion accuracy and spatial and temporal variance. Taking the Spatial and Temporal Adaptive Reflectance Fusion Model (STARFM) and the Enhanced STARFM (ESTARFM) as basic algorithms, a framework was designed to screen a spatio-temporal fusion algorithm for the Landsat NDVI time series construction. The screening rule was designed by fitting the linear relationship between the spatial and temporal variance and fusion algorithm accuracy, and then the fitted relationship was combined with the graded accuracy selecting rule (R2) to select the fusion algorithm. The results indicated that the constructed Landsat NDVI time series by this paper proposed framework exhibited the highest overall accuracy (88.18%), and lowest omission (1.82%) and commission errors (10.00%) in land cover change detection compared with the moderate resolution imaging spectroradiometer (MODIS) NDVI time series and the NDVI time series constructed by a single STARFM or ESTARFM. Phenological stability analysis demonstrated that the Landsat NDVI time series established by multiple spatio-temporal algorithms could effectively avoid phenological fluctuations in the time series constructed by a single fusion algorithm. We believe that this framework can help improve the quality of the Landsat NDVI time series and fulfill the gap between near real-time environmental monitoring mandates and data-scarcity reality.

Style APA, Harvard, Vancouver, ISO itp.

Visca, Jorge, i Javier Baliosian. "rl4dtn: Q-Learning for Opportunistic Networks". Future Internet 14, nr 12 (23.11.2022): 348. http://dx.doi.org/10.3390/fi14120348.

Pełny tekst źródła

Streszczenie:

Opportunistic networks are highly stochastic networks supported by sporadic encounters between mobile devices. To route data efficiently, opportunistic-routing algorithms must capitalize on devices’ movement and data transmission patterns. This work proposes a routing method based on reinforcement learning, specifically Q-learning. As usual in routing algorithms, the objective is to select the best candidate devices to put forward once an encounter occurs. However, there is also the possibility of not forwarding if we know that a better candidate might be encountered in the future. This decision is not usually considered in learning schemes because there is no obvious way to represent the temporal evolution of the network. We propose a novel, distributed, and online method that allows learning both the network’s connectivity and its temporal evolution with the help of a temporal graph. This algorithm allows learning to skip forwarding opportunities to capitalize on future encounters. We show that explicitly representing the action for deferring forwarding increases the algorithm’s performance. The algorithm’s scalability is discussed and shown to perform well in a network of considerable size.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Temporal Algorithms"

Chen, Xiaodong. "Temporal data mining : algorithms, language and system for temporal association rules". Thesis, Manchester Metropolitan University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297977.

Pełny tekst źródła

Streszczenie:

Studies on data mining are being pursued in many different research areas, such as Machine Learning, Statistics, and Databases. The work presented in this thesis is based on the database perspective of data mining. The main focuses are on the temporal aspects of data mining problems, especially association rule discovery, and issues on the integration of data mining and database systems. Firstly, a theoretical framework for temporal data mining is proposed in this thesis. Within this framework, not only potential patterns but also temporal features associated with the patterns are expected to be discovered. Calendar time expressions are suggested to represent temporal features and the minimum frequency of patterns is introduced as a new threshold in the model of temporal data mining. The framework also emphasises the necessary components to support temporal data mining tasks. As a specialisation of the proposed framework, the problem of mining temporal association rules is investigated. The methodology adopted in this thesis is eventually discovering potential temporal rules by alternatively using special search techniques for various restricted problems in an interactive and iterative process. Three forms of interesting mining tasks for temporal association rules with certain constraints are identified. These tasks are the discovery of valid time periods of association rules, the discovery of periodicities of association rules, and the discovery of association rules with temporal features. The search techniques and algorithms for those individual tasks are developed and presented in this thesis. Finally, an integrated query and mining system (IQMS) is presented in this thesis, covering the description of an interactive query and mining interface (IQMI) supplied by the IQMS system, the presentation of an SQL-like temporal mining language (TML) with the ability to express various data mining tasks for temporal association rules, and the suggestion of an IQMI-based interactive data mining process. The implementation of this system demonstrates an alternative approach for the integration of the DBMS and data mining functions.

Style APA, Harvard, Vancouver, ISO itp.

Chen, Feng. "Efficient Algorithms for Mining Large Spatio-Temporal Data". Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/19220.

Pełny tekst źródła

Streszczenie:

Knowledge discovery on spatio-temporal datasets has attracted
growing interests. Recent advances on remote sensing technology mean
that massive amounts of spatio-temporal data are being collected,
and its volume keeps increasing at an ever faster pace. It becomes
critical to design efficient algorithms for identifying novel and
meaningful patterns from massive spatio-temporal datasets. Different
from the other data sources, this data exhibits significant
space-time statistical dependence, and the assumption of i.i.d. is
no longer valid. The exact modeling of space-time dependence will
render the exponential growth of model complexity as the data size
increases. This research focuses on the construction of efficient
and effective approaches using approximate inference techniques for
three main mining tasks, including spatial outlier detection, robust
spatio-temporal prediction, and novel applications to real world
problems.

Spatial novelty patterns, or spatial outliers, are those data points
whose characteristics are markedly different from their spatial
neighbors. There are two major branches of spatial outlier detection
methodologies, which can be either global Kriging based or local
Laplacian smoothing based. The former approach requires the exact
modeling of spatial dependence, which is time extensive; and the
latter approach requires the i.i.d. assumption of the smoothed
observations, which is not statistically solid. These two approaches
are constrained to numerical data, but in real world applications we
are often faced with a variety of non-numerical data types, such as
count, binary, nominal, and ordinal. To summarize, the main research
challenges are: 1) how much spatial dependence can be eliminated via
Laplace smoothing; 2) how to effectively and efficiently detect
outliers for large numerical spatial datasets; 3) how to generalize
numerical detection methods and develop a unified outlier detection
framework suitable for large non-numerical datasets; 4) how to
achieve accurate spatial prediction even when the training data has
been contaminated by outliers; 5) how to deal with spatio-temporal
data for the preceding problems.

To address the first and second challenges, we mathematically
validated the effectiveness of Laplacian smoothing on the
elimination of spatial autocorrelations. This work provides
fundamental support for existing Laplacian smoothing based methods.
We also discovered a nontrivial side-effect of Laplacian smoothing,
which ingests additional spatial variations to the data due to
convolution effects. To capture this extra variability, we proposed
a generalized local statistical model, and designed two fast forward
and backward outlier detection methods that achieve a better balance
between computational efficiency and accuracy than most existing
methods, and are well suited to large numerical spatial datasets.

We addressed the third challenge by mapping non-numerical variables
to latent numerical variables via a link function, such as logit
function used in logistic regression, and then utilizing
error-buffer artificial variables, which follow a Student-t
distribution, to capture the large valuations caused by outliers. We
proposed a unified statistical framework, which integrates the
advantages of spatial generalized linear mixed model, robust spatial
linear model, reduced-rank dimension reduction, and Bayesian
hierarchical model. A linear-time approximate inference algorithm
was designed to infer the posterior distribution of the error-buffer
artificial variables conditioned on observations. We demonstrated
that traditional numerical outlier detection methods can be directly
applied to the estimated artificial variables for outliers
detection. To the best of our knowledge, this is the first
linear-time outlier detection algorithm that supports a variety of
spatial attribute types, such as binary, count, ordinal, and
nominal.

To address the fourth and fifth challenges, we proposed a robust
version of the Spatio-Temporal Random Effects (STRE) model, namely
the Robust STRE (R-STRE) model. The regular STRE model is a recently
proposed statistical model for large spatio-temporal data that has a
linear order time complexity, but is not best suited for
non-Gaussian and contaminated datasets. This deficiency can be
systemically addressed by increasing the robustness of the model
using heavy-tailed distributions, such as the Huber, Laplace, or
Student-t distribution to model the measurement error, instead of
the traditional Gaussian. However, the resulting R-STRE model
becomes analytical intractable, and direct application of
approximate inferences techniques still has a cubic order time
complexity. To address the computational challenge, we reformulated
the prediction problem as a maximum a posterior (MAP) problem with a
non-smooth objection function, transformed it to a equivalent
quadratic programming problem, and developed an efficient
interior-point numerical algorithm with a near linear order
complexity. This work presents the first near linear time robust
prediction approach for large spatio-temporal datasets in both
offline and online cases.
Ph. D.

Style APA, Harvard, Vancouver, ISO itp.

Civelek, Ferda N. (Ferda Nur). "Temporal Connectionist Expert Systems Using a Temporal Backpropagation Algorithm". Thesis, University of North Texas, 1993. https://digital.library.unt.edu/ark:/67531/metadc278824/.

Pełny tekst źródła

Streszczenie:

Representing time has been considered a general problem for artificial intelligence research for many years. More recently, the question of representing time has become increasingly important in representing human decision making process through connectionist expert systems. Because most human behaviors unfold over time, any attempt to represent expert performance, without considering its temporal nature, can often lead to incorrect results. A temporal feedforward neural network model that can be applied to a number of neural network application areas, including connectionist expert systems, has been introduced. The neural network model has a multi-layer structure, i.e. the number of layers is not limited. Also, the model has the flexibility of defining output nodes in any layer. This is especially important for connectionist expert system applications. A temporal backpropagation algorithm which supports the model has been developed. The model along with the temporal backpropagation algorithm makes it extremely practical to define any artificial neural network application. Also, an approach that can be followed to decrease the memory space used by weight matrix has been introduced. The algorithm was tested using a medical connectionist expert system to show how best we describe not only the disease but also the entire course of the disease. The system, first, was trained using a pattern that was encoded from the expert system knowledge base rules. Following then, series of experiments were carried out using the temporal model and the temporal backpropagation algorithm. The first series of experiments was done to determine if the training process worked as predicted. In the second series of experiments, the weight matrix in the trained system was defined as a function of time intervals before presenting the system with the learned patterns. The result of the two experiments indicate that both approaches produce correct results. The only difference between the two results was that compressing the weight matrix required more training epochs to produce correct results. To get a measure of the correctness of the results, an error measure which is the value of the error squared was summed over all patterns to get a total sum of squares.

Style APA, Harvard, Vancouver, ISO itp.

Zhu, Linhong, Dong Guo, Junming Yin, Steeg Greg Ver i Aram Galstyan. "Scalable temporal latent space inference for link prediction in dynamic social networks (extended abstract)". IEEE, 2017. http://hdl.handle.net/10150/626028.

Pełny tekst źródła

Streszczenie:

Understanding and characterizing the processes driving social interactions is one of the fundamental problems in social network research. A particular instance of this problem, known as link prediction, has recently attracted considerable attention in various research communities. Link prediction has many important commercial applications, e.g., recommending friends in an online social network such as Facebook and suggesting interesting pins in a collection sharing network such as Pinterest. This work is focused on the temporal link prediction problem: Given a sequence of graph snapshots G1, · ··, Gt from time 1 to t, how do we predict links in future time t + 1? To perform link prediction in a network, one needs to construct models for link probabilities between pairs of nodes. A temporal latent space model is proposed that is built upon latent homophily assumption and temporal smoothness assumption. First, the proposed modeling allows to naturally incorporate the well-known homophily effect (birds of a feather flock together). Namely, each dimension of the latent space characterizes an unobservable homogeneous attribute, and shared attributes tend to create a link in a network.

Style APA, Harvard, Vancouver, ISO itp.

Beaumont, Matthew, i n/a. "Handling Over-Constrained Temporal Constraint Networks". Griffith University. School of Information Technology, 2004. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20041213.084512.

Pełny tekst źródła

Streszczenie:

Temporal reasoning has been an active research area for over twenty years, with most work focussing on either enhancing the efficiency of current temporal reasoning algorithms or enriching the existing algebras. However, there has been little research into handling over-constrained temporal problems except to recognise that a problem is over-constrained and then to terminate. As many real-world temporal reasoning problems are inherently over-constrained, particularly in the scheduling domain, there is a significant need for approaches that can handle over-constrained situations. In this thesis, we propose two backtracking algorithms to gain partial solutions to over-constrained temporal problems. We also propose a new representation, the end-point ordering model, to allow the use of local search algorithms for temporal reasoning. Using this model we propose a constraint weighting local search algorithm as well as tabu and random-restart algorithms to gain partial solutions to over-constrained temporal problems. Specifically, the contributions of this thesis are: The introduction and empirical evaluation of two backtracking algorithms to solve over-constrained temporal problems. We provide two backtracking algorithms to close the gap in current temporal research to solve over-constrained problems; The representation of temporal constraint networks using the end-point ordering model. As current representation models are not suited for local search algorithms, we develop a new model such that local search can be applied efficiently to temporal reasoning; The development of a constraint weighting local search algorithm for under-constrained problems. As constraint weighting has proven to be efficient for solving many CSP problems, we implement a constraint weighting algorithm to solve under-constrained temporal problems; An empirical evaluation of constraint weighting local search against traditional backtracking algorithms. We compare the results of a constraint weighting algorithm with traditional backtracking approaches and find that in many cases constraint weighting has superior performance; The development of a constraint weighting local search, tabu search and random-restart local search algorithm for over-constrained temporal problems. We extend our constraint weighting algorithm to solve under-constrained temporal problems as well as implement two other popular local search algorithms: tabu search and random-restart; An empirical evaluation of all three local search algorithms against the two backtracking algorithms. We compare the results of all three local search algorithms with our twobacktracking algorithms for solving over-constrained temporal reasoning problems and find that local search proves to be considerably superior.

Style APA, Harvard, Vancouver, ISO itp.

Beaumont, Matthew. "Handling Over-Constrained Temporal Constraint Networks". Thesis, Griffith University, 2004. http://hdl.handle.net/10072/366603.

Pełny tekst źródła

Streszczenie:

Style APA, Harvard, Vancouver, ISO itp.

Schiratti, Jean-Baptiste. "Methods and algorithms to learn spatio-temporal changes from longitudinal manifold-valued observations". Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX009/document.

Pełny tekst źródła

Streszczenie:

Dans ce manuscrit, nous présentons un modèle à effets mixtes, présenté dans un cadre Bayésien, permettant d'estimer la progression temporelle d'un phénomène biologique à partir d'observations répétées, à valeurs dans une variété Riemannienne, et obtenues pour un individu ou groupe d'individus. La progression est modélisée par des trajectoires continues dans l'espace des observations, que l'on suppose être une variété Riemannienne. La trajectoire moyenne est définie par les effets mixtes du modèle. Pour définir les trajectoires de progression individuelles, nous avons introduit la notion de variation parallèle d'une courbe sur une variété Riemannienne. Pour chaque individu, une trajectoire individuelle est construite en considérant une variation parallèle de la trajectoire moyenne et en reparamétrisant en temps cette parallèle. Les transformations spatio-temporelles sujet-spécifiques, que sont la variation parallèle et la reparamétrisation temporelle sont définnies par les effets aléatoires du modèle et permettent de quantifier les changements de direction et vitesse à laquelle les trajectoires sont parcourues. Le cadre de la géométrie Riemannienne permet d'utiliser ce modèle générique avec n'importe quel type de données définies par des contraintes lisses. Une version stochastique de l'algorithme EM, le Monte Carlo Markov Chains Stochastic Approximation EM (MCMC-SAEM), est utilisé pour estimer les paramètres du modèle au sens du maximum a posteriori. L'utilisation du MCMC-SAEM avec un schéma numérique permettant de calculer le transport parallèle est discutée dans ce manuscrit. De plus, le modèle et le MCMC-SAEM sont validés sur des données synthétiques, ainsi qu'en grande dimension. Enfin, nous des résultats obtenus sur différents jeux de données liés à la santé
We propose a generic Bayesian mixed-effects model to estimate the temporal progression of a biological phenomenon from manifold-valued observations obtained at multiple time points for an individual or group of individuals. The progression is modeled by continuous trajectories in the space of measurements, which is assumed to be a Riemannian manifold. The group-average trajectory is defined by the fixed effects of the model. To define the individual trajectories, we introduced the notion of « parallel variations » of a curve on a Riemannian manifold. For each individual, the individual trajectory is constructed by considering a parallel variation of the average trajectory and reparametrizing this parallel in time. The subject specific spatiotemporal transformations, namely parallel variation and time reparametrization, are defined by the individual random effects and allow to quantify the changes in direction and pace at which the trajectories are followed. The framework of Riemannian geometry allows the model to be used with any kind of measurements with smooth constraints. A stochastic version of the Expectation-Maximization algorithm, the Monte Carlo Markov Chains Stochastic Approximation EM algorithm (MCMC-SAEM), is used to produce produce maximum a posteriori estimates of the parameters. The use of the MCMC-SAEM together with a numerical scheme for the approximation of parallel transport is discussed. In addition to this, the method is validated on synthetic data and in high-dimensional settings. We also provide experimental results obtained on health data

Style APA, Harvard, Vancouver, ISO itp.

Montana, Felipe. "Sampling-based algorithms for motion planning with temporal logic specifications". Thesis, University of Sheffield, 2019. http://etheses.whiterose.ac.uk/22637/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kobakian, Stephanie Rose. "New algorithms for effectively visualising Australian spatio-temporal disease data". Thesis, Queensland University of Technology, 2020. https://eprints.qut.edu.au/203908/1/Stephanie_Kobakian_Thesis.pdf.

Pełny tekst źródła

Streszczenie:

This thesis contributes to improvements in effectively communicating population related cancer distributions and the associated burden of cancer on Australian communities. This thesis presents a new algorithm for creating an alternative map displays of tessellating hexagons. Alternative map displays can emphasise statistics in countries that contain densely populated cities. It is accompanied by a software implementation that automates the choice of one hexagon to represent each geographic unit, ensuring the statistic for each is equitably presented. The case study comparing a traditional choropleth map to the alternative hexagon tile map contributes to a growing field of visual inference studies.

Style APA, Harvard, Vancouver, ISO itp.

Eriksson, Leif. "Solving Temporal CSPs via Enumeration and SAT Compilation". Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482.

Pełny tekst źródła

Streszczenie:

The constraint satisfaction problem (CSP) is a powerful framework used in theoretical computer science for formulating a multitude of problems. The CSP over a constraint language Γ (CSP(Γ)) is the decision problem of verifying whether a set of constraints based on the relations in Γ admits a satisfying assignment or not. Temporal CSPs are a special subclass of CSPs frequently encountered in AI. Here, the relations are first-order definable in the structure (Q;<), i.e the rationals with the usual order. These problems have previously often been solved by either enumeration or SAT compilation. We study a restriction of temporal CSPs where the constraint language is limited to logical disjunctions of <-, =-, ≠- and ≤-relations, and were each constraint contains at most k such basic relations (CSP({<,=,≠,≤}∨k)). Every temporal CSP with a finite constraint language Γ is polynomial-time reducible to CSP({<,=,≠,≤}∨k) where k is only dependent on Γ. As this reduction does not increase the number of variables, the time complexity of CSP(Γ) is never worse than that of CSP({<,=,≠,≤}∨k). This makes the complexity of CSP({<,=,≠,≤}∨k) interesting to study. We develop algorithms combining enumeration and SAT compilation to solve CSP({<,=,≠,≤}∨k), and study the asymptotic behaviour of these algorithms for different classes. Our results show that all finite constraint languages Γ first order definable over (Q;<) are solvable in O*(((1/(eln(2))-ϵk)n)^n) time for some ϵk>0 dependent on Γ. This is strictly better than O*((n/(eln(2)))^n), i.e. O*((0.5307n)^n), achieved by enumeration algorithms. Some examples of upper bounds on time complexity achieved in the thesis are CSP({<}∨2) in O*((0.1839n)^n) time, CSP({<,=,≤}∨2) in O*((0.2654n)^n) time, CSP({<,=,≠}∨3) in O*((0.4725n)^n) time and CSP({<,=,≠,≤}∨3) in O*((0.5067n)^n) time. For CSP({<}∨2) this should be compared to the bound O*((0.3679n)^n), from previously known enumeration algorithms.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Temporal Algorithms"

George, Betsy. Spatio-temporal Networks: Modeling and Algorithms. New York, NY: Springer New York, 2013.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Stergiou, K. Backtracking algorithms for checking the consistency of temporal constraints. Manchester: UMIST, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

W, Campbell Janet, i Goddard Space Flight Center, red. Level-3 SeaWiFS data products: Spatial and temporal binning algorithms. Greenbelt, Md: National Aeronautics and Space Administration, Goddard Space Flight Center, 1995.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

McGuire, Hugh W. Two methods for checking formulas of temporal logic. Stanford, Calif: Dept. of Computer Science, Stanford University, 1995.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Koukoudakis, Alexandros. Visualisation decision algorithm for temporal database management system. Manchester: UMIST, 1996.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for January-June, 1997 : contract number: NAS5-31370. [Washington, DC: National Aeronautics and Space Administration, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. Land surface temperature measurements from EOS MODIS data. [Washington, D.C.]: National Aeronautics and Space Administration, 1994.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for January-June, 1995. [Washington, D.C: National Aeronautics and Space Administration, 1995.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for July-December, 1997 : contract number NAS5-31370. [Washington, DC: National Aeronautics and Space Administration, 1998.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Temporal Algorithms"

Gudmundsson, Joachim, Jyrki Katajainen, Damian Merrick, Cahya Ong i Thomas Wolle. "Compressing Spatio-temporal Trajectories". W Algorithms and Computation, 763–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-77120-3_66.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Estivill-Castro, Vladimir, i Michael E. Houle. "Fast Randomized Algorithms for Robust Estimation of Location". W Temporal, Spatial, and Spatio-Temporal Data Mining, 77–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45244-3_7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Danda, Umesh Sandeep, G. Ramakrishna, Jens M. Schmidt i M. Srikanth. "On Short Fastest Paths in Temporal Graphs". W WALCOM: Algorithms and Computation, 40–51. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68211-8_4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Friedler, Sorelle A., i David M. Mount. "Spatio-temporal Range Searching over Compressed Kinetic Sensor Data". W Algorithms – ESA 2010, 386–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15775-2_33.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

McGeer, Patrick C., i Robert K. Brayton. "False Path Detection Algorithms". W Integrating Functional and Temporal Domains in Logic Design, 55–95. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-3960-5_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Achtert, Elke, Ahmed Hettab, Hans-Peter Kriegel, Erich Schubert i Arthur Zimek. "Spatial Outlier Detection: Data, Algorithms, Visualizations". W Advances in Spatial and Temporal Databases, 512–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22922-0_41.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gago, M. Carmen Fernández, Michael Fisher i Clare Dixon. "Algorithms for Guiding Clausal Temporal Resolution". W KI 2002: Advances in Artificial Intelligence, 235–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45751-8_16.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Allard, Denis, Xavier Emery, Céline Lacaux i Christian Lantuéjoul. "Simulation of Stationary Gaussian Random Fields with a Gneiting Spatio-Temporal Covariance". W Springer Proceedings in Earth and Environmental Sciences, 43–49. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-19845-8_4.

Pełny tekst źródła

Streszczenie:

AbstractThe nonseparable Gneiting covariance has become a standard to model spatio-temporal random fields. Its definition relies on a completely monotone function associated with the spatial structure and a conditionally negative semidefinite function associated with the temporal structure. This work addresses the problem of simulating stationary Gaussian random fields with a Gneiting-type covariance. Two algorithms, in which the simulated field is obtained through a combination of cosine waves are presented and illustrated with synthetic examples. In the first algorithm, the temporal frequency is defined on the basis of a temporal random field with stationary Gaussian increments, whereas in the second algorithm the temporal frequency is drawn from the spectral measure of the covariance conditioned to the spatial frequency. Both algorithms perfectly reproduce the correlation structure with minimal computational cost and memory footprint.

Style APA, Harvard, Vancouver, ISO itp.

Zhang, Zhongnan, i Weili Wu. "Composite Spatio-Temporal Co-occurrence Pattern Mining". W Wireless Algorithms, Systems, and Applications, 454–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88582-5_43.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Akrida, Eleni C., i Paul G. Spirakis. "On Verifying and Maintaining Connectivity of Interval Temporal Networks". W Algorithms for Sensor Systems, 142–54. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-28472-9_11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Temporal Algorithms"

Deb, Rohan, Meet Gandhi i Shalabh Bhatnagar. "Schedule Based Temporal Difference Algorithms". W 2022 58th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2022. http://dx.doi.org/10.1109/allerton49937.2022.9929388.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Wang, Yuxin, Xiuzhi Li, Zhenyu Jiao i Lei Zhang. "Pedestrian trajectory prediction based on temporal attention". W International Conference on Algorithms, Microchips, and Network Applications, redaktorzy Fengjie Cen i Ning Sun. SPIE, 2022. http://dx.doi.org/10.1117/12.2636485.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Jun Gao. "Adaptive Interpolation Algorithms for Temporal-Oriented Datasets". W Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06). IEEE, 2006. http://dx.doi.org/10.1109/time.2006.4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Im, Sungjin, Janardhan Kulkarni i Benjamin Moseley. "Temporal Fairness of Round Robin". W SPAA '15: 27th ACM Symposium on Parallelism in Algorithms and Architectures. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2755573.2755581.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Silva, Arlei, Ambuj Singh i Ananthram Swami. "Spectral Algorithms for Temporal Graph Cuts". W the 2018 World Wide Web Conference. New York, New York, USA: ACM Press, 2018. http://dx.doi.org/10.1145/3178876.3186118.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gendrano, J. A. G., B. C. Huang, J. M. Rodrigue, Bongki Moon i R. T. Snodgrass. "Parallel algorithms for computing temporal aggregates". W Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337). IEEE, 1999. http://dx.doi.org/10.1109/icde.1999.754958.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hao, Yudong, Yang Zhao i Dacheng Li. "Design of temporal phase unwrapping algorithms". W International Symposium on Photonics and Applications, redaktorzy Yee Loy Lam, Koji Ikuta i Metin S. Mangir. SPIE, 1999. http://dx.doi.org/10.1117/12.368502.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Meyer, Dominik, Remy Degenne, Ahmed Omrane i Hao Shen. "Accelerated gradient temporal difference learning algorithms". W 2014 IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning (ADPRL). IEEE, 2014. http://dx.doi.org/10.1109/adprl.2014.7010611.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Allen, Michael, Justyna W. Kosianka i Mark Perillo. "Algorithms for efficient multi-temporal change detection in SAR imagery". W Algorithms for Synthetic Aperture Radar Imagery XXX, redaktorzy Edmund Zelnio i Frederick D. Garber. SPIE, 2023. http://dx.doi.org/10.1117/12.2663997.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bollig, Benedikt. "Towards Formal Verification of Distributed Algorithms". W 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2015. http://dx.doi.org/10.1109/time.2015.23.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Temporal Algorithms"

Bornholdt, S., i D. Graudenz. General asymmetric neutral networks and structure design by genetic algorithms: A learning rule for temporal patterns. Office of Scientific and Technical Information (OSTI), lipiec 1993. http://dx.doi.org/10.2172/10186812.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Miller, William L. Exploring the Temporal and Spatial Dynamics of UV Attenuation and CDOM in the Surface Ocean Using New Algorithms. Fort Belvoir, VA: Defense Technical Information Center, wrzesień 2007. http://dx.doi.org/10.21236/ada573066.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kularatne, Dhanushka N., Subhrajit Bhattacharya i M. Ani Hsieh. Computing Energy Optimal Paths in Time-Varying Flows. Drexel University, 2016. http://dx.doi.org/10.17918/d8b66v.

Pełny tekst źródła

Streszczenie:

Autonomous marine vehicles (AMVs) are typically deployed for long periods of time in the ocean to monitor different physical, chemical, and biological processes. Given their limited energy budgets, it makes sense to consider motion plans that leverage the dynamics of the surrounding flow field so as to minimize energy usage for these vehicles. In this paper, we present two graph search based methods to compute energy optimal paths for AMVs in two-dimensional (2-D) time-varying flows. The novelty of the proposed algorithms lies in a unique discrete graph representation of the 3-D configuration space spanned by the spatio-temporal coordinates. This enables a more efficient traversal through the search space, as opposed to a full search of the spatio-temporal configuration space. Furthermore, the proposed strategy results in solutions that are closer to the global optimal when compared to greedy searches through the spatial coordinates alone. We demonstrate the proposed algorithms by computing optimal energy paths around the Channel Islands in the Santa Barbara bay using time-varying flow field forecasts generated by the Regional Ocean Model System. We verify the accuracy of the computed paths by comparing them with paths computed via an optimal control formulation.

Style APA, Harvard, Vancouver, ISO itp.

Engel, Bernard, Yael Edan, James Simon, Hanoch Pasternak i Shimon Edelman. Neural Networks for Quality Sorting of Agricultural Produce. United States Department of Agriculture, lipiec 1996. http://dx.doi.org/10.32747/1996.7613033.bard.

Pełny tekst źródła

Streszczenie:

The objectives of this project were to develop procedures and models, based on neural networks, for quality sorting of agricultural produce. Two research teams, one in Purdue University and the other in Israel, coordinated their research efforts on different aspects of each objective utilizing both melons and tomatoes as case studies. At Purdue: An expert system was developed to measure variances in human grading. Data were acquired from eight sensors: vision, two firmness sensors (destructive and nondestructive), chlorophyll from fluorescence, color sensor, electronic sniffer for odor detection, refractometer and a scale (mass). Data were analyzed and provided input for five classification models. Chlorophyll from fluorescence was found to give the best estimation for ripeness stage while the combination of machine vision and firmness from impact performed best for quality sorting. A new algorithm was developed to estimate and minimize training size for supervised classification. A new criteria was established to choose a training set such that a recurrent auto-associative memory neural network is stabilized. Moreover, this method provides for rapid and accurate updating of the classifier over growing seasons, production environments and cultivars. Different classification approaches (parametric and non-parametric) for grading were examined. Statistical methods were found to be as accurate as neural networks in grading. Classification models by voting did not enhance the classification significantly. A hybrid model that incorporated heuristic rules and either a numerical classifier or neural network was found to be superior in classification accuracy with half the required processing of solely the numerical classifier or neural network. In Israel: A multi-sensing approach utilizing non-destructive sensors was developed. Shape, color, stem identification, surface defects and bruises were measured using a color image processing system. Flavor parameters (sugar, acidity, volatiles) and ripeness were measured using a near-infrared system and an electronic sniffer. Mechanical properties were measured using three sensors: drop impact, resonance frequency and cyclic deformation. Classification algorithms for quality sorting of fruit based on multi-sensory data were developed and implemented. The algorithms included a dynamic artificial neural network, a back propagation neural network and multiple linear regression. Results indicated that classification based on multiple sensors may be applied in real-time sorting and can improve overall classification. Advanced image processing algorithms were developed for shape determination, bruise and stem identification and general color and color homogeneity. An unsupervised method was developed to extract necessary vision features. The primary advantage of the algorithms developed is their ability to learn to determine the visual quality of almost any fruit or vegetable with no need for specific modification and no a-priori knowledge. Moreover, since there is no assumption as to the type of blemish to be characterized, the algorithm is capable of distinguishing between stems and bruises. This enables sorting of fruit without knowing the fruits' orientation. A new algorithm for on-line clustering of data was developed. The algorithm's adaptability is designed to overcome some of the difficulties encountered when incrementally clustering sparse data and preserves information even with memory constraints. Large quantities of data (many images) of high dimensionality (due to multiple sensors) and new information arriving incrementally (a function of the temporal dynamics of any natural process) can now be processed. Furhermore, since the learning is done on-line, it can be implemented in real-time. The methodology developed was tested to determine external quality of tomatoes based on visual information. An improved model for color sorting which is stable and does not require recalibration for each season was developed for color determination. Excellent classification results were obtained for both color and firmness classification. Results indicted that maturity classification can be obtained using a drop-impact and a vision sensor in order to predict the storability and marketing of harvested fruits. In conclusion: We have been able to define quantitatively the critical parameters in the quality sorting and grading of both fresh market cantaloupes and tomatoes. We have been able to accomplish this using nondestructive measurements and in a manner consistent with expert human grading and in accordance with market acceptance. This research constructed and used large databases of both commodities, for comparative evaluation and optimization of expert system, statistical and/or neural network models. The models developed in this research were successfully tested, and should be applicable to a wide range of other fruits and vegetables. These findings are valuable for the development of on-line grading and sorting of agricultural produce through the incorporation of multiple measurement inputs that rapidly define quality in an automated manner, and in a manner consistent with the human graders and inspectors.

Style APA, Harvard, Vancouver, ISO itp.

McDermott, Drew. An Algorithm for Probabilistic, Totally-Ordered Temporal Projection. Fort Belvoir, VA: Defense Technical Information Center, marzec 1994. http://dx.doi.org/10.21236/ada277341.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Thost, Veronika, Jan Holste i Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.

Pełny tekst źródła

Streszczenie:

Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporal query answering w.r.t. ontologies formulated in the Description Logic DL-Lite. Focusing on temporal conjunctive queries (TCQs), which combine conjunctive queries via the operators of propositional linear temporal logic, we regard three approaches for answering them: an iterative algorithm that considers all data available; a window-based algorithm; and a rewriting approach, which translates the TCQs to be answered into SQL queries. Since the relevant ontological knowledge is already encoded into the latter queries, they can be answered by a standard database system. Our evaluation especially shows that implementations of both the iterative and the window-based algorithm answer TCQs within a few milliseconds, and that the former achieves a constant performance, even if data is growing over time.

Style APA, Harvard, Vancouver, ISO itp.

Horrocks, Ian, i Stephan Tobies. Optimisation of Terminological Reasoning. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.99.

Pełny tekst źródła

Streszczenie:

An extended abstract of this report was submitted to the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, where subsumption reasoning with respect to a terminology is a fundamental problem. Two optimisation techniques that have proved to be particularly effective in dealing with terminologies are lazy unfolding and absorption. In this paper we seek to improve our theoretical understanding of these important techniques. We define a formal framework that allows the techniques to be precisely described, establish conditions under which they can be safely applied, and prove that, provided these conditions are respected, subsumption testing algorithms will still function correctly. These results are used to show that the procedures used in the FaCT system are correct and, moreover, to show how effiency an be significantly improved, while still retaining the guarantee of correctness, by relaxing the safety conditions for absorption.

Style APA, Harvard, Vancouver, ISO itp.

Hirsch, Colin, i Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.

Pełny tekst źródła

Streszczenie:

Aus der Einleitung: The Guarded Fragment of first-order logic, introduced by Andréka, van Benthem, and Németi, has been a succesful attempt to transfer many good properties of modal, temporal, and description logics to a larger fragment of predicate logic. Among these are decidability, the finite modal property, invariance under an appropriate variant of bisimulation, and other nice modal theoretic properties.

Style APA, Harvard, Vancouver, ISO itp.

Price, Ryan. Hierarchical Temporal Memory Cortical Learning Algorithm for Pattern Recognition on Multi-core Architectures. Portland State University Library, styczeń 2000. http://dx.doi.org/10.15760/etd.202.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Lutz, Carsten, i Maja Miličić. A Tableau Algorithm for DLs with Concrete Domains and GCIs. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.150.

Pełny tekst źródła

Streszczenie:

We identify a general property of concrete domains that is sufficient for proving decidability of DLs equipped with them and GCIs. We show that some useful concrete domains, such as temporal one based on the Allen relations and a spatial one based on the RCC-8 relations, have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with such concrete domains.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!