A practical approach for updating an integrity-enforced operating system
专题命中 软件智能体 :repository(abstract)
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
专题命中 软件智能体 :repository(abstract)
专题命中 软件智能体 :software agent(abstract)
Comments To be presented at the 13th International Conference on Agents and Artificial Intelligence (ICAART2021), Vienna, 4th--6th February 2021. 15 pages; 9 figures
专题命中 软件智能体 :repository(abstract)
专题命中 软件智能体 :repository(abstract)
Comments Accepted to NeurlPS 2020
专题命中 软件智能体 :repository(abstract)
Comments 46 pages, 19 figures, 4 tables. Accepted for publication in A&A
Journal ref A&A 640, A130 (2020)
专题命中 软件智能体 :software agent(abstract)
专题命中 软件智能体 :software agent(abstract)
专题命中 软件智能体 :software agent(abstract)
Comments 4 pages
Journal ref IARIA 2020
专题命中 软件智能体 :repository(abstract)
专题命中 软件智能体 :software agent(abstract)
Comments 10 pages, published on CHI'16
Journal ref Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems
专题命中 软件智能体 :software agent(abstract)
Journal ref CSIAC Journal, v.7, n.1, April 2019, pp.6-13
专题命中 软件智能体 :repository(abstract)
Comments Accepted for publication in MNRAS Letters. Revised version: minor changes
Journal ref MNRAS Letters, 2019, Volume 482, Issue 1, p.L85-L89
专题命中 软件智能体 :software agent(abstract)
Journal ref Information Systems for Crisis Response and Management in Mediterranean Countries, Oct 2015, Tunis, Tunisia
专题命中 软件智能体 :software agent(abstract)
Journal ref Hawaii International Conference on System Sciences, Jan 2016, Kauai, United States
专题命中 软件智能体 :software agent(abstract)
专题命中 软件智能体 :code model(abstract)
专题命中 软件智能体 :repository(abstract)
Comments PhD thesis, 519 pages, 135 figures
专题命中 软件智能体 :software agent(abstract)
Journal ref International Conference on Software, Knowledge and Application, Oct 2009, Fez, Morocco. pp.8, 2009
专题命中 软件智能体 :software agent(abstract)
Comments 4 pages, 1 figure
专题命中 软件智能体 :repository(abstract)
Comments 15 pages, 7 figures
专题命中 软件智能体 :software agent(abstract)
Comments 24 pages, 11 figures, under review (Simulation Modelling Practice and Theory)
专题命中 软件智能体 :software agent(abstract)
Comments (A revision of "Normative Multi-Agent Systems and Kelsenian Jurisprudence")
专题命中 软件智能体 :software agent(abstract)
Comments 28 pages, 14 figures, accepted in ACM TAAS
Journal ref Tushar Semwal, Shashi Shekhar Jha, and Shivashankar B. Nair. 2017. On Ordering Multi-Robot Task Executions within a Cyber Physical System. ACM Trans. Auton. Adapt. Syst. 12, 4, Article 20 (November 2017), 27 pages
专题命中 软件智能体 :software agent(abstract)
专题命中 软件智能体 :software agent(abstract)
Comments Presented at NIPS 2017 Interpretable ML Symposium
专题命中 软件智能体 :repository(abstract)
Comments Preprint to be published in Journal of Medical Systems. 8 pages, 5 figures
专题命中 软件智能体 :coding agent(abstract)
Comments As appeared in R. de Haan (ed.), Proceedings of the ESSLLI 2014 Student Session, p. 63-75, Tübingen, Germany, 2014
专题命中 软件智能体 :software agent(abstract)
Comments Check http://cacm.acm.org/magazines/2016/7/204021-the-rise-of-social-bots/fulltext for the final version; 'Bot or Not?' is available at: http://truthy.indiana.edu/botornot/
Journal ref Communications of the ACM 59 (7), 96-104, 2016
专题命中 软件智能体 :software agent(abstract)
Comments 14 pages, 4 figures
Journal ref Mathematical Bulletin ISSN 0351-336X (print)ISSN 1857-9914 (online) Vol. 40, No. 2, 2016, p. 95 2016 (95-108)
专题命中 软件智能体 :repository(abstract)
Comments 82 pages, 33 figures
Journal ref J. Phys. Soc. Jpn. 85, 022001 (2016)