HCI.TOPHCI, made easy

David Porfirio

school美国海军研究实验室bar_chart全球第 #3577 名

论文总数

4

HCI 排名

#3577

研究领域

4

活跃年数

3

近期发表

David Porfirio 最新论文

CHI '25二作大语言模型（LLM）的人机协作 +2

VeriPlan：将正式验证和大语言模型集成到终端用户规划中

Lee 等人提出 VeriPlan 系统，通过形式化验证(模型检查)与 LLM 集成，结合规则翻译器和灵活性滑块进行用户研究(n=12)，提升规划可靠性与满意度

DIS '24三作人-机器人协作（HRC） +1

理解即兴最终用户机器人编程

Stegner 等人通过21名最终用户实验研究即兴机器人编程工具的用户体验，发现自动程序合成器解析用户意图和多模态输入设计是影响体验的关键因素。

HRI '24一作人-机器人协作（HRC） +1

面向目标的机器人终端用户开发

Porfirio等人开发了Polaris系统，采用目标导向编程范式，让用户灵活选择任务细节表达层级，并配备计划可视化器帮助用户制定更高质量的任务计划。

HRI '23一作社交机器人交互 +1

Sketching Robot Programs On the Fly：现场绘制机器人程序

Porfirio 等人提出 Tabula 系统，结合口语和草图让终端用户即时编写机器人程序，由程序综合器完成和完善，提升了开发效率与灵活性。

快捷操作

分享

分享当前页面

ios_share

https://hci.top/zh/authors/14551?source=all