𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by French, Tim; McCabe-Dansted, John; Reynolds, Mark

Book ID: 126710241
Publisher: IEEE
Year: 2013
Weight: 392 KB
Category: Article
ISBN: 1479922404
DOI: 10.1109/TIME.2013.18

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, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Faster Execution Algorithm for Dynamically Controllable STNUs

✍ Hunsberger, Luke 📂 Article 📅 2013 🏛 IEEE ⚖ 476 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 2013 IEEE 11th International Sympo

[IEEE 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY 2013) - Subotica, Serbia (2013.09.26-2013.09.28)] 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY) - Development of the software system CRIS UNS

✍ Surla, Dusan; Ivanovic, Dragan; Konjovic, Zora 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 423 KB

[IEEE 2013 IEEE 11th International Sympo

[IEEE 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY 2013) - Subotica, Serbia (2013.09.26-2013.09.28)] 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY) - Education of electronics in University by TINACloud

✍ Hegyesi, Franciska 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 784 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