Filters








360,360 Hits in 4.6 sec

Resolution-based methods for linear temporal reasoning [article]

Martin Suda, Universität Des Saarlandes, Universität Des Saarlandes
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)

Cesar Sanchez, K. Brent Venable, Esteban Zimanyi
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

Michael Fisher
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

Chunhua Liao, Jinfei Wang, Ian Pritchard, Jiangui Liu, Jiali Shang
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

Yuhan Rao, Xiaolin Zhu, Jin Chen, Jianmin Wang
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

Esmaeil Faramarzi, Dinesh Rajan, Marc P. Christensen
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

Giorgio Tortarolo, Yuansheng Sun, Kai Wen Teng, Yuji Ishitsuka, Luca Lanzanó, Paul R. Selvin, Beniamino Barbieri, Alberto Diaspro, Giuseppe Vicidomini
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

R. L. Buckner
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

Vivien-Georgiana Stefan, Olivier Merlin, Maria-José Escorihuela, Beatriz Molero, Jamal Chihrane, Josep Maria Villar, Salah Er-Raki
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

Ramesh Singh, Gabriel Senay, Naga Velpuri, Stefanie Bohms, James Verdin
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

Zhizhong Han, Wenya Zhao
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

J. Brychta, M. Janeček
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