Skip to search formSkip to main contentSkip to account menu

Temporal logic

Known as: Temporal, Tense logic 
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAllen's interval algebraAlternating-time Temporal LogicAutomata theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
HTTP/2-Based Methods to Improve the Live Experience of Adaptive Streaming
HTTP Adaptive Streaming (HAS) is today the number one video technology for over-the-top video distribution. In HAS, video content… 
Highly Cited
2011
Highly Cited
2011
Summarizing a Document Stream
We introduce the task of summarizing a stream of short documents on microblogs such as Twitter. On microblogs, thousands of short… 
Highly Cited
2008
Highly Cited
2008
Efficient Index-Based Audio Matching
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio… 
Highly Cited
2007
Highly Cited
2007
Multiview Video Compression
Due to the vast raw bit rate of multiview video, efficient compression techniques are essential for 3D scene communication. As… 
Highly Cited
2006
Highly Cited
2006
Nanoscale precipitation and mechanical properties of Al-0.06 at.% Sc alloys microalloyed with Yb or Gd
Dilute Al-0.06 at.% Sc alloys with microalloying additions of 50 at. ppm of ytterbium (Yb) or gadolinium (Gd) are studied with 3D… 
2005
2005
Estimating Relative Energy Fluxes Using the Food Web, Species Abundance, and Body Size
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
Highly Cited
1989
Highly Cited
1989
Environmental determinants of butterflyfish social systems
SynopsisButterflyfishes (Chaetodontidae) display a variety of social systems, including monogamous pair-bonds, harems, and… 
Highly Cited
1989
Highly Cited
1989
Statistical opportunities for analyzing spatial and temporal heterogeneity of field soils
Statistical techniques for analyzing data in the agricultural sciences have traditionally followed the pioneering efforts of R.A… 
Highly Cited
1988
Highly Cited
1988
Fine‐Scale Spatial and Temporal Variation in the Demography of a Perennial Bunchgrass
Most life history studies assume that demographic transition rates within a population are temporally and spatially invariant. A… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)