In this work, we combine the strengths of humans and robots by developing MARCER, a novel interactive and multimodal end-user robot programming system. MARCER utilizes a Large language Model to translate users' na...
详细信息
Robot programminglanguages that represent tasks as graph structures are both popular and accessible among programming novices and experts. However, these languages are largely decoupled from robots' automated tas...
详细信息
Social robots have predominantly been deployed in resource-rich environments and managed by technical research teams. We propose a socially sustainable framework for deploying social robots in underrepresented, under-...
详细信息
Foundation models are rapidly improving the capability of robots in performing everyday tasks autonomously such as meal preparation, yet robots will still need to be instructed by humans due to model performance, the ...
详细信息
High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant f...
High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programminglanguage(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system. HILT 2014 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software. We are soliciting technical papers, experience reports, and tutorial proposals on a broad range of relevant topics.
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all...
详细信息
ISBN:
(纸本)1581131275
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all of the device drivers for these devices are written in the C programminglanguage. However, the selection of the programminglanguage for the project does not need to be confined to C. This paper details the powerful tools in Ada 95, such as pragmas to interface code written in other programminglanguages to Ada 95 applications. An example of a generic realtime Ada 95 application interfacing with a low-level C serial device driver is used to aid the reader in the concepts and idea's discussed in the paper.
暂无评论