Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,696,886 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Allen's interval algebra
Alternating-time Temporal Logic
Automata theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Summarizing a Document Stream
Hiroya Takamura
,
Hikaru Yokono
,
M. Okumura
European Conference on Information Retrieval
2011
Corpus ID: 18865288
We introduce the task of summarizing a stream of short documents on microblogs such as Twitter. On microblogs, thousands of short…
Expand
Highly Cited
2008
Highly Cited
2008
Efficient Index-Based Audio Matching
F. Kurth
,
Meinard Müller
IEEE Transactions on Audio, Speech, and Language…
2008
Corpus ID: 206601781
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio…
Expand
Highly Cited
2007
Highly Cited
2007
Multiview Video Compression
M. Flierl
,
B. Girod
IEEE Signal Processing Magazine
2007
Corpus ID: 1546405
Due to the vast raw bit rate of multiview video, efficient compression techniques are essential for 3D scene communication. As…
Expand
Review
2007
Review
2007
RNAi and microRNA: breakthrough technologies for the improvement of plant nutritional value and metabolic engineering
G. Tang
,
G. Galili
,
Xun Zhuang
Metabolomics
2007
Corpus ID: 22791948
This article raises the complex issue of improving plant nutritional value through metabolic engineering and the potential of…
Expand
Highly Cited
2006
Highly Cited
2006
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
Marius Kloetzer
,
C. Belta
International Conference on Hybrid Systems…
2006
Corpus ID: 14294851
We consider the following problem: given a linear system and an LTL−−X formula over a set of linear predicates in its state…
Expand
Highly Cited
2006
Highly Cited
2006
On the geometric conservation law in transient flow calculations on deforming domains
C. Förster
,
W. Wall
,
E. Ramm
2006
Corpus ID: 16964748
This note revisits the derivation of the ALE form of the incompressible Navier–Stokes equations in order to retain insight into…
Expand
Highly Cited
2001
Highly Cited
2001
The role of coastal ocean variation in spatial and temporal patterns in survival and size of coho salmon (Oncorhynchus kisutch)
A. Hobday
,
G. Boehlert
2001
Corpus ID: 56229132
Interannual and decadal variability in ocean survival of salmon are well known, but the mechanisms through which environmental…
Expand
Highly Cited
1997
Highly Cited
1997
Nitrous oxide emissions from three rice paddy fields in China
Xu Hua
,
Xing Guangxi
,
Z. Cai
,
H. Tsuruta
Nutrient Cycling in Agroecosystems
1997
Corpus ID: 25870560
Nitrous oxide (N2O) fluxes from rice paddy fields were measured in Nanjing, Yingtan and Fengqiu, using closed chamber method in…
Expand
Highly Cited
1989
Highly Cited
1989
Environmental determinants of butterflyfish social systems
T. Hourigan
Environmental Biology of Fishes
1989
Corpus ID: 34211621
SynopsisButterflyfishes (Chaetodontidae) display a variety of social systems, including monogamous pair-bonds, harems, and…
Expand
Highly Cited
1988
Highly Cited
1988
Fine‐Scale Spatial and Temporal Variation in the Demography of a Perennial Bunchgrass
K. Moloney
1988
Corpus ID: 9412514
Most life history studies assume that demographic transition rates within a population are temporally and spatially invariant. A…
Expand
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)
ACCEPT & CONTINUE