Results 41 to 50 of about 36,270,661 (145)
Department of Computer Science newsletter Fall 2023
, 2023 A Newsletter for Friends and Supporters of the Mines Computer Science ...
core
Organizing across cognitive asymmetry in human–AI collaboration: A study of perfume creation
Strategic Management Journal, EarlyView.Abstract Research Summary As organizations increasingly adopt generative AI (GenAI), they face a strategic challenge: not only deciding which tasks AI should perform, but also how to organize the integration of human and AI efforts to produce viable solutions.
Tomoko Yokoi +3 more
wiley +1 more source
Department of Computer Science newsletter 2022
, 2022 A Newsletter for Friends and Supporters of the Mines Computer Science Department.
core
Reinforcement Learning With Timed Constraints for Robotics Motion Planning
Artificial Intelligence for Engineering, EarlyView.This work presents a unified automata‐based reinforcement learning framework that enforces MITL time‐bounded task specifications in both MDPs and POMDPs. Results from grid‐world and office scenarios show robust policy learning under stochastic dynamics and partial observability.
Zhaoan Wang +3 more
wiley +1 more source
Autonomous management and control of sensor network-based applications [PDF]
, 2009 Paper presented at the 2nd International Workshop on Adaptation in Wireless Sensor Networks (AWSN-09), in conjunction with The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2009), August 29 - 31, 2009, Vancouver ...
R. Tynan +12 more
core +1 more source
MultiRobot Motion Planning Based on Diffusion and Time–Space Path Planning
Artificial Intelligence for Engineering, EarlyView.This diffusion‐based framework for multirobot motion planning reuses a pretrained single‐robot Motion Planning Diffusion model, employing an alternating trajectory generation scheme guided by inter‐robot collision costs, resulting in coordinated planning without additional multi‐robot training.
Tianle Zhang +2 more
wiley +1 more source
Type driven development of concurrent communicating systems [PDF]
, 2017 This work was kindly supported by SICSA (the Scottish Informatics and Computer Science Alliance) and EPSRC grant EP/N024222/1 (Type-driven Verification of Communicating Systems).Modern software systems rely on communication, for example mobile ...
Brady, Edwin Charles
core +1 more source
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT Accurate load forecasting and reliable anomaly detection are critical for the stable operation of modern smart grids (SGs), which increasingly rely on cyber‐connected infrastructures. However, the integration of smart metres and two‐way communication exposes SGs to data integrity attacks that can manipulate consumption measurements, degrade ...
Murad Ali Khan +4 more
wiley +1 more source
High Voltage, EarlyView.ABSTRACT With the development of electric power artificial intelligence (AI) technology, many complicated challenges emerged during application. Traditional AI algorithms work well in specialised tasks such as detection and classification. However, they are unlikely to solve general problems.
Yuanpeng Tan +4 more
wiley +1 more source