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
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
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 ...
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
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
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
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
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
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
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
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. ...
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
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). ...  , the Peng method  , thermal inertia-based methods [25, 34, 35] . ...doi:10.3390/rs12101671 fatcat:f2v56r46pzgxbggfo4ezbinnza
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
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  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
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