MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Quantitative Temporal Reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Parametric Quantitative Temporal Reasoning
by E. Allen Emerson, Richard J. Trefler — 1999
…Parametric Quantitative Temporal Reasoning E. Allen Emerson and Richard J. Trefler Computer…
Cited by 108 (7 self) – Add To MetaCart

Generalized Quantitative Temporal Reasoning
by E.A. Emerson, Richard J. Trefler — 1996
…Generalized Quantitative Temporal Reasoning y E. A. Emerson Richard J. Trefler July 17, 1996…
Cited by 1 (1 self) – Add To MetaCart

Parametric Quantitative Temporal Reasoning \Lambda
by unknown authors
… Parametric Quantitative Temporal Reasoning \Lambda E. Allen Emerson Richard J. Trefler Computer…
Add To MetaCart

Generalized Quantitative Temporal Reasoning: An Automata Theoretic-Approach
by E. Allen Emerson, Richard J. Trefler — 1996 — In Proc. 7th Int. Joint Conf. Theory and Practice of Software Development (TAPSOFT'97
…Generalized Quantitative Temporal Reasoning: An Automata Theoretic-Approach ? E. Allen Emerson…
Cited by 9 (1 self) – Add To MetaCart

Deciding consistency of a point-duration network with metric constraints
by Isabel Navarrete, Abdul Sattar, Roque Marin — 2003 — in TIME’03
… a new model, MPDN, for quantitative temporal reasoning with points and durations, that supposes…
Cited by 1 (0 self) – Add To MetaCart

Using Temporal Reasoning for Genome Map Assembly
by Olivier Schmeltzer — 1995 — In Proceedings of the Third International Conference on Intelligent Systems for Molecular Biology
… and quantitative relations between entities that appear on the maps, so that temporal reasoning algorithms can…
Cited by 2 (0 self) – Add To MetaCart

An Intelligent Interactive Support System for Short- and Mid-Term Planning in a Production Planning and Control System
by Karsten Poeck, Christian Hestermann, Universitt Wrzburg
… temporal reasoning subsystem to cope with these requirements. . In addition to the resources the materials…
Cited by 1 (1 self) – Add To MetaCart

Kronos: A Tool for Verifying Real-time Systems - User's Guide and Reference Manual - Draft 0.0
by Alfredo Olivero, Sergio Yovine — 1993 — User’s Guide and Reference Manual. VERIMAG
… with this package. TCTL is a real-time temporal logic. TCTL is an extension of CTL that permits quantitative…
Cited by 12 (2 self) – Add To MetaCart

Planning in a Complex Real Domain
by F. Ricci, A. Perini, P. Avesani — 1993 — In proceedings of the italian planning workshop
… will refine the proposed tactic and will enable quantitative temporal reasoning. . A blackboard approach…
Cited by 5 (5 self) – Add To MetaCart

J. Symbolic Computation (1996) 11, 1--000
by Temporal Annotated Constraint, Thom Fruhwirth — 1996 — Journal of Symbolic Computation
… and quantitative (metric) temporal reasoning about definite and indefinite information with time points (instants…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB