会議情報
TIME 2016: International Symposium on Temporal Representation and Reasoning
http://time2016.compute.dtu.dk/提出日: |
2016-06-20 |
通知日: |
2016-07-25 |
会議日: |
2016-10-17 |
場所: |
Kongens Lyngby, Denmark |
年: |
23 |
閲覧: 8200 追跡: 0 出席: 0
論文募集
AIM TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: temporal aspects of agent- and policy-based systems spatial and temporal reasoning reasoning about actions and change planning and planning languages ontologies of time and space-time belief and uncertainty in temporal knowledge temporal learning and discovery time in problem solving (e.g. diagnosis, scheduling) time in human-machine interaction temporal information extraction time in natural language processing spatio-temporal knowledge representation systems spatio-temporal ontologies for the semantic web constraint-based temporal reasoning temporal preferences The Database track includes, but is not limited to: temporal data models and query languages temporal query processing and indexing temporal data mining time series data management stream data management spatio-temporal data management, including moving objects data currency and expiration indeterminate and imprecise temporal data temporal constraints temporal aspects of business processes and ECA systems real-time databases time-dependent security policies privacy in temporal and spatio-temporal data temporal aspects of multimedia databases temporal aspects of e-services and web applications temporal aspects of distributed systems temporal aspects and big data temporal aspects in NoSQL databases temporal data warehouses temporal healthcare databases and warehouses time series analysis and mining semistructured temporal data novel applications of temporal database management novel visualizations and interfaces for temporal data experiences with real applications The Logic and Verification track includes, but is not limited to: specification and verification of systems verification of web applications synthesis and execution model-checking algorithms and implementations verification of infinite-state systems reasoning about transition systems temporal architectures temporal logics for distributed systems temporal logics for games and open systems temporal logics of knowledge hybrid systems and real-time logics cyber-physical systems tools and practical systems temporal issues in security
最終更新 Xin Yao 2016-06-17
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
2022 | 29 | 12 | 41.4% |
2021 | 28 | 13 | 46.4% |
2020 | 23 | 16 | 69.6% |
2019 | 25 | 17 | 68% |
2018 | 27 | 20 | 74.1% |
2017 | 36 | 20 | 55.6% |
2016 | 46 | 21 | 45.7% |
2015 | 23 | 17 | 73.9% |
2014 | 32 | 17 | 53.1% |
2013 | 26 | 15 | 57.7% |
2012 | 32 | 16 | 50% |
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2024-01-17 | 2024-04-16 | 2024-08-03 |
ISCME | International Seminar on Computer Technology, Mechanical and Electrical Engineering | 2017-08-22 | 2017-09-22 | ||||
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-05 | 2022-11-18 | |||
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-01 | 2022-12-16 | |||
c | a | a2 | ICDAR | International Conference on Document Analysis and Recognition | 2024-02-01 | 2024-04-15 | 2024-08-30 |
b | a | a1 | ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-05-09 | 2024-09-29 |
b | c | b4 | ICCBR | International Conference on Case-Based Reasoning | 2024-04-01 | 2024-04-17 | 2024-07-01 |
SSSCC | European Smart Sustainable and Safe Cities Conference | 2018-12-01 | 2018-12-07 | 2019-02-07 | |||
a | a1 | HICSS | Hawaii International Conference on System Sciences | 2024-06-15 | 2024-08-17 | 2025-01-07 | |
UC5G | Asia Conference on Ubiquitous Communications and 5G Technologies | 2021-04-15 | 2021-05-15 | 2021-10-14 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
IJCAI | International Joint Conference on Artificial Intelligence | 2024-01-17 | 2024-08-03 |
ISCME | International Seminar on Computer Technology, Mechanical and Electrical Engineering | 2017-08-22 | 2017-09-22 |
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-18 |
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-16 |
ICDAR | International Conference on Document Analysis and Recognition | 2024-02-01 | 2024-08-30 |
ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-09-29 |
ICCBR | International Conference on Case-Based Reasoning | 2024-04-01 | 2024-07-01 |
SSSCC | European Smart Sustainable and Safe Cities Conference | 2018-12-01 | 2019-02-07 |
HICSS | Hawaii International Conference on System Sciences | 2024-06-15 | 2025-01-07 |
UC5G | Asia Conference on Ubiquitous Communications and 5G Technologies | 2021-04-15 | 2021-10-14 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM | 1551-6857 | |
Journal of Enterprise Information Management | 7.400 | Emerald | 1741-0398 | |
Information and Organization | 5.700 | Elsevier | 1471-7727 | |
Journal of Forecasting | 3.400 | Wiley-Blackwell | 0277-6693 | |
Journal of Molecular Graphics and Modelling | 2.700 | Elsevier | 1093-3263 | |
c | Neural Computing & Applications | 4.500 | Springer | 0941-0643 |
Applied Categorical Structures | 0.600 | Springer | 0927-2852 | |
b | Transactions of the Association for Computational Linguistics | The Association for Computational Linguistics | 2307-387X | |
b | IEEE Transactions on Intelligent Transportation Systems | 7.900 | IEEE | 1524-9050 |
c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM |
Journal of Enterprise Information Management | 7.400 | Emerald |
Information and Organization | 5.700 | Elsevier |
Journal of Forecasting | 3.400 | Wiley-Blackwell |
Journal of Molecular Graphics and Modelling | 2.700 | Elsevier |
Neural Computing & Applications | 4.500 | Springer |
Applied Categorical Structures | 0.600 | Springer |
Transactions of the Association for Computational Linguistics | The Association for Computational Linguistics | |
IEEE Transactions on Intelligent Transportation Systems | 7.900 | IEEE |
International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
おすすめ