Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,161,861 papers from all fields of science
Search
Sign In
Create Free Account
Allen's interval algebra
Known as:
Interval Algebra
For the type of boolean algebra called interval algebra, see Boolean algebra (structure) Allen's interval algebra is a calculus for temporal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Commonsense reasoning
SQL:2011
Spatial–temporal reasoning
Temporal annotation
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Effects of Interval Training on Treading and Spinning on Cardio Respiratory Endirance of Untrained College Women
J. Kumar
,
D. Maniazhagu
2015
Corpus ID: 78589290
The purpose of the study was to find out the “effects of interval training on treading and spinning on cardio respiratory…
Expand
2014
2014
A Classification of Tracially Approximate Splitting Interval Algebras. I. The Building Blocks and the Limit Algebras
Z. Niu
2014
Corpus ID: 51782692
Motivated by Huaxin Lin’s axiomatization of AH-algebras, the class of TASI-algebras is introduced as the class of unital C…
Expand
2014
2014
Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems
L. Kolev
Reliable Computing
2014
Corpus ID: 16232463
In this paper, the problem of determining the interval hull (IH) solution x to a linear interval parameter system A(p)x = b(p…
Expand
2012
2012
On Optimal Top-K String Retrieval
Rahul Shah
,
Cheng Sheng
,
Sharma V. Thankachan
,
J. Vitter
arXiv.org
2012
Corpus ID: 16594171
Let ${\cal{D}}$ = $\{d_1, d_2, d_3, ..., d_D\}$ be a given set of $D$ (string) documents of total length $n$. The top-$k…
Expand
2011
2011
Solving Qualitative Constraints Involving Landmarks
W. Liu
,
Sheng-sheng Wang
,
Sanjiang Li
,
Da-you Liu
International Conference on Principles and…
2011
Corpus ID: 25791256
Consistency checking plays a central role in qualitative spatial and temporal reasoning. Given a set of variables V, and a set of…
Expand
2007
2007
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
S. Wölfl
,
Till Mossakowski
,
Lutz Schröder
The Florida AI Research Society
2007
Corpus ID: 10723449
A voltage checking circuit for checking a power source battery whose terminal voltage changes with time at an early stage…
Expand
2007
2007
Classification Based on the Trace of Variables over Time
F. Höppner
,
Alexander Topp
Ideal
2007
Corpus ID: 14074553
To be successful with certain classification problems or knowledge discovery tasks it is not sufficient to look at the available…
Expand
2006
2006
A Contribution to the Feasibility of the Interval Gaussian Algorithm
G. Mayer
Reliable Computing
2006
Corpus ID: 35536358
We apply the interval Gaussian algorithm to an n × n interval matrix [A] whose comparison matrix 〈[A]〉 is generalized diagonally…
Expand
2005
2005
New method of software test——interval algebra method
Song Xiao-qiu
2005
Corpus ID: 64166725
Software test is an importantway forimproving thesoftwarereliability and ensuring software quality.Especially in theresearch…
Expand
2005
2005
Linear Interval Equations: Midpoint Preconditioning May Produce a 100% Overestimation for Arbitrarily Narrow Data Even in Case n = 4
J. Rohn
Reliable Computing
2005
Corpus ID: 22156047
We construct a linear interval system Ax = b with a 4 × 4 interval matrix whose all proper interval coefficients (there are also…
Expand