MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Time-Interval Calculus." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

ATOM

Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications
by Thomas Emerson, Mark H. Burstein — 1999 — Proceedings of the 1999 Conference on Automated Software Engineering
… to be scheduled, the resources to be used by those activities, time (e.g., a time-interval calculus…
Cited by 7 (3 self) – Add To MetaCart

ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from
by Mark H. Burstein, Moulton St, Douglas R. Smith — 1996 — In Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (AIPS-96
…, time (e.g., a time-interval calculus, the constraints on the use of resources for activities (capacity…
Cited by 12 (3 self) – Add To MetaCart

Showing 1 through 2.

ATOM

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