Advanced Constraint Techniques for User Interface Implementation

用户界面实现的高级约束技术

基本信息

  • 批准号:
    9500942
  • 负责人:
  • 金额:
    $ 31.4万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1995
  • 资助国家:
    美国
  • 起止时间:
    1995-07-15 至 1998-10-05
  • 项目状态:
    已结题

项目摘要

This project explores the use of advanced constraint-based techniques for the production of high quality user interfaces. Constraints as a general technique allow the declaration of a set of relationships that are to hold between entities. Constraint satisfaction systems are then used to maintain those declared relationships automatically without explicit programming. The use of constraint techniques offers to dramatically simplify the task of user interface implementation and hence make the creation of easy to use computer applications substantially easier. This project will employ propagation-based constraint techniques and seek to provide advances in several related areas. Tools to make existing constraint techniques more practical will be produced and distributed to the user interface community. New applications of constraints to user interface tasks will be explored, and new visual notations for constraints will be developed. Finally, this project will develop new concurrent algorithms for constraint satisfaction which will, for the first time, allow constraints to be effectively employe d in multi-user interfaces distributed across networks. Taken together, these advances will serve to make a wide variety of high quality user interfaces easier to construct, and hence will promote creation of dynamic computer applications that are significantly easier to use.
这个项目探讨了使用先进的基于约束的技术来生产高质量的用户界面。 约束作为一种通用技术,允许声明实体之间的一组关系。 约束满足系统,然后使用自动维护这些声明的关系,而无需显式编程。 约束技术的使用极大地简化了用户界面实现的任务,从而使创建易于使用的计算机应用程序变得更加容易。 该项目将采用基于传播的约束技术,并寻求在几个相关领域取得进展。 将制作使现有约束技术更加实用的工具,并分发给用户界面社区。 新的应用程序的约束用户界面的任务将被探索,并将开发新的视觉符号的约束。 最后,这个项目将开发新的并发算法的约束满足,这将是第一次,允许约束有效地采用d分布在网络上的多用户界面。 总之,这些进步将有助于使各种高质量的用户界面更容易构建,因此将促进创建动态的计算机应用程序,显着更容易使用。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Scott Hudson其他文献

Visual interface for textual information retrieval systems
文本信息检索系统的可视化界面
  • DOI:
    10.1007/978-0-387-34905-3_21
  • 发表时间:
    1997
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aravindan Veerasamy;Scott Hudson;Shamkant Navathe
  • 通讯作者:
    Shamkant Navathe
Simulating a Psychiatric Emergency: A Multidimensional Approach
  • DOI:
    10.1016/j.ecns.2010.03.052
  • 发表时间:
    2010-05-01
  • 期刊:
  • 影响因子:
  • 作者:
    Shannon Patton;Scott Hudson
  • 通讯作者:
    Scott Hudson
Foreign Body Impaction as Presentation of Eosinophilic Esophagitis
异物嵌塞作为嗜酸粒细胞性食管炎的表现
  • DOI:
    10.1177/0194599813500462
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Scott Hudson;C. Sampson;H. Muntz;W. D. Jackson;Marshall E. Smith
  • 通讯作者:
    Marshall E. Smith
The Finite-diierence Time-domain Method Applied to Anisotropic Material
时域有限差分法应用于各向异性材料
  • DOI:
  • 发表时间:
    1993
  • 期刊:
  • 影响因子:
    0
  • 作者:
    John Schneider;Scott Hudson
  • 通讯作者:
    Scott Hudson
Querying , Navigating and Visualizing an OnlineLibrary CatalogAravindan
在线图书馆目录的查询、导航和可视化Aravindan
  • DOI:
  • 发表时间:
    1995
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aravindan Veerasamy;Scott Hudson;Shamkant Navathe
  • 通讯作者:
    Shamkant Navathe

Scott Hudson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Scott Hudson', 18)}}的其他基金

CHS: Small: Expanding the Design Space for Interactive Objects Through Development of Advanced 3D Printers and Printing Technology
CHS:小型:通过开发先进的 3D 打印机和打印技术扩展交互式对象的设计空间
  • 批准号:
    1718651
  • 财政年份:
    2017
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Standard Grant
HCC: Small: New Infrastructure Concepts for Robust Handling of Inputs with Uncertainty
HCC:小型:用于稳健处理不确定性输入的新基础设施概念
  • 批准号:
    1217929
  • 财政年份:
    2012
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant
HCC: Enabling Practical Human Activity Modeling for Interactive Applications
HCC:为交互式应用程序启用实际人类活动建模
  • 批准号:
    0713509
  • 财政年份:
    2007
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant
WORKSHOP: UIST 2005 Doctoral Symposium
研讨会:UIST 2005 博士生研讨会
  • 批准号:
    0549354
  • 财政年份:
    2005
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Standard Grant
WORKSHOP: UIST 2004 Doctoral Symposium
研讨会:UIST 2004 博士生研讨会
  • 批准号:
    0455274
  • 财政年份:
    2004
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Standard Grant
WORKSHOP: UIST 2003 Doctoral Symposium
研讨会:UIST 2003 博士生研讨会
  • 批准号:
    0334392
  • 财政年份:
    2003
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Standard Grant
ITR/SY: Situationally Appropriate Interaction
ITR/SY:因地制宜的互动
  • 批准号:
    0121560
  • 财政年份:
    2001
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant
Adding Interactivity to Paper: Techniques for Hybrid Paper Electronic interfaces
为纸张添加交互性:混合纸张电子接口技术
  • 批准号:
    9800597
  • 财政年份:
    1998
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant
Advanced Constraint Techniques for User Interface Implementation
用户界面实现的高级约束技术
  • 批准号:
    9996001
  • 财政年份:
    1997
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant
A General Purpose Program Visualization Support Tool (Computer and Information Science)
通用程序可视化支持工具(计算机与信息科学)
  • 批准号:
    8702784
  • 财政年份:
    1987
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Continuing Grant

相似海外基金

Interval constraint programming techniques for large and complex hybrid systems
大型复杂混合系统的区间约束规划技术
  • 批准号:
    18K11240
  • 财政年份:
    2018
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems
大规模约束满足问题全解枚举实用技术的发展
  • 批准号:
    17K17725
  • 财政年份:
    2017
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Software Test Case Generation using Constraint Satisfaction Problems Techniques
使用约束满足问题技术生成软件测试用例
  • 批准号:
    466240-2014
  • 财政年份:
    2014
  • 资助金额:
    $ 31.4万
  • 项目类别:
    University Undergraduate Student Research Awards
Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive Reasoning
基于区间约束规划和演绎推理的混合系统验证技术
  • 批准号:
    25880008
  • 财政年份:
    2013
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Software Test Case Generation using Constraint Satisfaction Problems Techniques
使用约束满足问题技术生成软件测试用例
  • 批准号:
    450677-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 31.4万
  • 项目类别:
    University Undergraduate Student Research Awards
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
使用命题推理技术实现高性能和灵活的约束编程系统
  • 批准号:
    24300007
  • 财政年份:
    2012
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Groebner Basis Techniques for Constraint Satisfaction Problems
约束满足问题的 Groebner 基础技术
  • 批准号:
    EP/D032636/1
  • 财政年份:
    2006
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Research Grant
Advanced representation and reasoning techniques for planning and constraint satisfaction
用于规划和约束满足的高级表示和推理技术
  • 批准号:
    41848-2002
  • 财政年份:
    2005
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Discovery Grants Program - Individual
Advanced representation and reasoning techniques for planning and constraint satisfaction
用于规划和约束满足的高级表示和推理技术
  • 批准号:
    41848-2002
  • 财政年份:
    2004
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Discovery Grants Program - Individual
Advanced representation and reasoning techniques for planning and constraint satisfaction
用于规划和约束满足的高级表示和推理技术
  • 批准号:
    41848-2002
  • 财政年份:
    2003
  • 资助金额:
    $ 31.4万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了