A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Resolution-based methods for linear temporal reasoning
[article]
2015
The aim of this thesis is to explore the potential of resolution-based methods for linear temporal reasoning. ...
On the abstract level, this means to develop new algorithms for automated reasoning about properties of systems which evolve in time. ...
Conclusion In this chapter we have presented LPSup, a new resolution-based calculus for Linear Temporal Logic (LTL). ...
doi:10.22028/d291-26627
fatcat:tdjh4vbkzfhfnd6pmirqbvmtcq
Page 2676 of Mathematical Reviews Vol. , Issue 2001D
[page]
2001
Mathematical Reviews
Exploiting the link between the selection- based resolution and tableaux methods, a new tableaux calculus for multi-modal logics is defined. ...
20014:68192
2001d:68192 68T15 03B35 03B45 de Nivelle, Hans (D-MPI-I; Saarbriicken); Schmidt, Renate A. (4-MANC-C; Manchester) ; Hustadt, Ullrich (4-MNMT-CM; Manchester) Resolution-based methods for modal ...
Special issue on temporal representation and reasoning (TIME'13)
2016
Acta Informatica
The paper "Extracting Unsatisfiable Cores for LTL via Temporal Resolution" by Viktor Schuppan presents a method to extract unsatisfiable cores from a given unsatisfiable LTL formula, based on temporal ...
The method takes a resolution proof and extracts an explanation of why the formula is unsatisfiable. ...
doi:10.1007/s00236-016-0260-7
fatcat:bgwniyetx5abdoaoneiadrstzm
A Resolution Method for Temporal Logic
1991
International Joint Conference on Artificial Intelligence
In this paper, a resolution method for propositional temporal logic is presented. ...
The resolution method is based on classical resolution, but incorporates a temporal resolution rule that can be implemented efficiently using a graph-theoretic approach. ...
Introduction This report describes a resolution procedure for discrete, linear, propositional temporal logic. ...
dblp:conf/ijcai/Fisher91
fatcat:qu2vuk6jpzgjbn45xptweph3rq
A Spatio-Temporal Data Fusion Model for Generating NDVI Time Series in Heterogeneous Regions
2017
Remote Sensing
Time series vegetation indices with high spatial resolution and high temporal frequency are important for crop growth monitoring and management. ...
accuracy, since most of the existing methods have some limitations in accurately predicting NDVI in heterogeneous regions, or rely on very computationally intensive steps and land cover maps for heterogeneous ...
The authors thank the USGS EROS data center for providing free Landsat data and MODIS science team for providing free MODIS products. ...
doi:10.3390/rs9111125
fatcat:e7yjogjsprf4nlih3qhhtqev2m
An Improved Method for Producing High Spatial-Resolution NDVI Time Series Datasets with Multi-Temporal MODIS NDVI Data and Landsat TM/ETM+ Images
2015
Remote Sensing
Due to technical limitations, it is impossible to have high resolution in both spatial and temporal dimensions for current NDVI datasets. ...
In this study, an unmixing-based method, NDVI Linear Mixing Growth Model (NDVI-LMGM), is proposed to achieve the goal of accurately and efficiently blending MODIS NDVI time-series data and multi-temporal ...
McVicar and Tom Van Niel for providing the code of STARFM, ESTARFM and test data. ...
doi:10.3390/rs70607865
fatcat:3uuboza56vfdrhptmaxmhi5xiu
Space-time super-resolution from multiple-videos
2012
2012 11th International Conference on Information Science, Signal Processing and their Applications (ISSPA)
In this paper, a new method for reconstructing a video of higher spatial and temporal resolutions from multiple low-resolution video sequences is introduced. ...
We also address in detail the main reason for appearance of the so called "ghosting effect" in the temporal super-resolution reconstruction and explain how it can be resolved. ...
ACKNOWLEDGEMENT The authors are very grateful to the members of the PANOPTES group at SMU for valuable discussions. ...
doi:10.1109/isspa.2012.6310553
dblp:conf/isspa/FaramarziRC12
fatcat:tpkps6wsnvgzjdd6tz5otlk2ly
Spatiotemporal Fusion of Multisource Remote Sensing Data: Literature Survey, Taxonomy, Principles, Applications, and Future Directions
2018
Remote Sensing
Many spatiotemporal data fusion methods have been developed to produce synthesized images with both high spatial and temporal resolutions from two types of satellite images, frequent coarse-resolution ...
These methods were designed based on different principles and strategies, and therefore show different strengths and limitations. ...
Linear mixing model is also the basis of many weighted function-based methods. Unlike the unmixing-based methods, weighted function-based methods do not solve the linear mixing equation system. ...
doi:10.3390/rs10040527
fatcat:lplwrowbfvhehb3qjjsaejjo4a
Photon-separation to enhance the spatial resolution of pulsed STED microscopy
2019
Nanoscale
We introduce the pSTED-SPLIT microscopy technique, which explores the fluorescence dynamics in the phasor space to achieve sub-diffraction resolution images, with no need of high illumination intensity ...
concentration. 16 2 Materials and methods
Phasor-based analysis The SPLIT method is based on the analysis of the fluorescent signal dynamics through the so-called phasor analysis. ...
enhancement. 5, 9 For implementations based on pulsed STED ( pSTED) beams, the benefits of exploring the fluorescence temporal dynamics and of the timegated detection depend on the pulse-width of the ...
doi:10.1039/c8nr07485b
fatcat:ivm2gwtxubdh5citdpfdxyvpha
Page 3627 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
Reason. 23 (1999), no. 2, 137-193.
Summary: “Goal-sensitive resolution methods, such as model elimination, have been observed to have a higher degree of search redundancy than model-search methods. ...
Therefore, resolution methods have not been seen in high-performance propositional satisfiability testers. A method to reduce search redundancy in goal-sensitive resolution methods is introduced. ...
The hemodynamic inverse problem: Making inferences about neural activity from measured MRI signals
2003
Proceedings of the National Academy of Sciences of the United States of America
When fMRI first appeared as a viable method for cognitive neuroscience (3, 4) , there was already considerable enthusiasm that it could provide revolutionary spatial and temporal resolution. ...
Positron emission tomography (PET) methods based on short-lived isotopes, for example, take about a minute to make a measurement (2) . ...
doi:10.1073/pnas.0630492100
pmid:12606715
pmcid:PMC151314
fatcat:wkav6mgv4vdijjjbowtf5ymqku
Temporal Calibration of an Evaporation-Based Spatial Disaggregation Method of SMOS Soil Moisture Data
2020
Remote Sensing
In particular, when using the annually calibrated nonlinear SEE (SM) model, the temporal slope of the linear regression between disaggregated and in situ soil moisture increased to 1.16 and 0.75 for one ...
Spanish site and for the Moroccan site (as opposed to 0.44 and 0.58, respectively, when using the linear model with a daily calibration). ...
[32] , the Peng method [33] , thermal inertia-based methods [25, 34, 35] . ...
doi:10.3390/rs12101671
fatcat:f2v56r46pzgxbggfo4ezbinnza
On the Downscaling of Actual Evapotranspiration Maps Based on Combination of MODIS and Landsat-Based Actual Evapotranspiration Estimates
2014
Remote Sensing
We have evaluated the output regression with intercept method and developed the Linear with Zero Intercept (LinZI) method for downscaling MODIS-based monthly actual evapotranspiration (AET) maps to the ...
The proposed LinZI method can be used at finer temporal resolution (such as 8 days) with further evaluation. ...
Department of Agriculture for our downscaling method validation. Any use of trade, firm, or product names is for descriptive purposes only and does not imply endorsement by the U.S. Government. ...
doi:10.3390/rs61110483
fatcat:qpydp3gdrnesbfryswaypx3tve
Comparison of Spatiotemporal Fusion Models for Producing High Spatiotemporal Resolution Normalized Difference Vegetation Index Time Series Data Sets
2019
Journal of Computer and Communications
It has a great significance to combine multi-source with different spatial resolution and temporal resolution to produce high spatiotemporal resolution Normalized Difference Vegetation Index (NDVI) time ...
In conclusion, the STVIFM is more suitable for producing high spatiotemporal resolution NDVI time series, especially for some vegetation with different growing period. ...
This model integrates STARFM, the linear unmixing method [12] and the thin plate spline (TPS) interpolator that maintains the land cover change signals and local variability, which combined the temporal ...
doi:10.4236/jcc.2019.77007
fatcat:3rvwrck34bhhtn3gqgowqc57hi
Evaluation of discrepancies in spatial distribution of rainfall erosivity in the Czech Republic caused by different approaches using GIS and geostatistical tools
2017
Soil and Water Research
Similarity with the highest temporal resolution approach using 1-min rainfall data was analyzed. Different types of covariates were tested for incorporation to the cokriging method. ...
A lot of distortions stem from the difference in erosive rainfall criteria, time period, tipping rain gauges errors, low temporal resolution of rainfall data, the type of interpolation method, and inappropriate ...
Currently there exist two basic approaches for R calculation -based on low temporal resolution data (average annual, growing period, monthly or daily totals) and high temporal resolution data (1-30-min ...
doi:10.17221/176/2015-swr
fatcat:yhqythtlabh6pkhiym5dxgs5aq
« Previous
Showing results 1 — 15 out of 360,360 results