𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Faster Execution Algorithm for Dynamically Controllable STNUs

✍ Scribed by Hunsberger, Luke

Book ID: 126757632
Publisher: IEEE
Year: 2013
Weight: 476 KB
Category: Article
ISBN: 1479922404
DOI: 10.1109/TIME.2013.13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - LTL Satisfiability Checking Revisited

✍ Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 📂 Article 📅 2013 🏛 IEEE ⚖ 421 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - An Algebraic System of Temporal Structures

✍ French, Tim; McCabe-Dansted, John; Reynolds, Mark 📂 Article 📅 2013 🏛 IEEE ⚖ 392 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

✍ Aceto, Luca; Della Monica, Dario; Ingolfsdottir, Anna; Montanari, Angelo; Sciavi 📂 Article 📅 2013 🏛 IEEE ⚖ 440 KB

[IEEE 2010 17th International Symposium

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

✍ Hunsberger, Luke 📂 Article 📅 2010 🏛 IEEE ⚖ 296 KB