检索结果-南通市图书馆

A formal model for plastic human computer interfaces

Frontiers of Computer Science 2018年第2期12卷 351-375页

作者： Abdelkrim CHEBIEB yamine ait ameur Computer Science School for Engineers (ESI) Algiers 16270 Algeria IRIT-INPT-ENSEEIHT Toulouse 31071 France

The considerable and significant progress achieved in the design and development of new interaction devices between man and machine has enabled the emergence of various powerful and efficient input and/or output devices. Each of these new devices brings specific interaction modes. With the emergence of these devices, new interaction techniques and modes arise and new interaction capabilities are offered. New user interfaces need to be designed or former ones need to evolve. The design of so called plastic user interfaces contributes to handling such evolutions. The key requirement for the design of such a user interface is that the new obtained user interface shall be adapted to the application and have, at least, the same behavior as the previous （adapted） one. This paper proposes to address the problem of user interface evolution due to the introduction of new interaction devices and/or new interaction modes. More, precisely, we are interested by the study of the design process of a user interface resulting from the evolution of a former user interface due to the introduction of new devices and/or new interaction capabilities. We consider that interface behaviors are described by labelled transition systems and comparison between user interfaces is handled by an extended definition of the bi-simulation relationship to compare user interface behaviors when interaction modes are replaced by new ones.

关键词： formal modeling and verification ontology based modeling plastic user interfaces adaptive systems

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Value of relative cerebral blood volume measurement using perfusion MRI in glioma management

引用

中国神经肿瘤杂志 2008年第2期6卷 97-97页

作者： Metellus P Dutertre G Mekkaoui C Nanni I Fuentes S ait- ameur A Chinot O Dufour H Figarella-Branger D Cordoliani YS Grisoli F Département de neurochirurgie hospital la Timone264rue Saint-Pierre13005 Marseille cedex 05France

Neurochirurgie, 2008 Jun ***: Neoangiogenesis is a critical feature that can differentiate high- grade from low- grade glioma. Conven-tional MR imaging does not assess this histological feature accurately. The goal of this study was to evaluate the gain in rel-ative cerebral blood volume measurement using perfusion MRI in the management of cerebral gliomas. MATERIALS

关键词：神经胶质瘤诊断方法大脑血量

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：