课题基金 / 基金详情

Logic-based visual languages for manipulating structures

Logic-based visual languages for manipulating structures
用于操纵结构的基于逻辑的视觉语言
批准号：
124-2008
负责人：
Cox, Philip
金额：
$2.04万
依托单位：
Dalhousie University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=419190
关键词：
Logicbasedvisuallanguagesmanipulating

项目摘要

项目成果

Cox, Philip的其他基金

相似基金

相关文献

中文摘要
翻译
在与计算机的许多交互中，用户通过操纵对象的视觉表示来完成任务。注意到逻辑编程为操作复杂的符号结构(统一)提供了一种简单但强大的机制，我们正在研究将这种机制的变体应用于具有具体视觉表示的结构的方法。因此，我们在两个领域应用逻辑编程，其中视觉结构的操纵是关键：设计复杂的参数化结构化对象，以及电子表格编程和设计。
英文摘要
In many interactions with computers, users accomplish tasks by manipulating visual representations of objects. Having noted that logic programming provides a simple but powerful mechanism for manipulating complex symbolic structures (unification), we are investigating ways to apply variants of this mechanism to structures with concrete visual representations. Accordingly, we are applying logic programming in two domains where manipulation of visual structures is of key importance: designing complex parametrised structured objects, and spreadsheet programming and design.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Programming Engine/Generator Control Systems by Demonstration
  • 批准号：
    462737-2014
  • 项目类别：
    Engage Grants Program
  • 资助金额：
    $1.82万
  • 财政年份：
    2014
  • 负责人：
    Cox, Philip
  • 依托单位：
    Dalhousie University
Logic-based visual languages for manipulating structures
  • 批准号：
    124-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2012
  • 负责人：
    Cox, Philip
  • 依托单位：
    Dalhousie University
Logic-based visual languages for manipulating structures
  • 批准号：
    124-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2011
  • 负责人：
    Cox, Philip
  • 依托单位：
    Dalhousie University
Logic-based visual languages for manipulating structures
  • 批准号：
    124-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2010
  • 负责人：
    Cox, Philip
  • 依托单位：
    Dalhousie University
国内基金
海外基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    YU BYUNGJUN
  • 依托单位：
    上海理工大学管理学院
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号：
    W2433169
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    HAOFEI ZHANG
  • 依托单位：
    南开大学金融学院
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
  • 批准号：
    52301178
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    夏万顺
  • 依托单位：
    浙江大学