检索结果-内蒙古大学图书馆

2013 IEEE Symposium on Computational Intelligence for Creativity and Affective Computing, CICAC 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

作者： Fernandes, Carlos M. Mora, Antonio Merelo, Juan Julian Cotta, Carlos Rosa, Agostinho C. Dep. of Computer Architecture and Technology University of Granada Spain Systems and Robotics Institute Technical University of Lisbon Portugal Dept. of Computer Languages and Computer Science University of Malaga Spain

ISBN: (纸本)9781467360104

This paper describes the use of ant colony models for photographic rendering, that is, for the depiction or interpretation of photographic images. A description of a previously proposed ant-based edge detection method called pherographia is given in order to contextualize this paper's proposal. Then, the application of the KANTS algorithm to photo-rendering is introduced. KANTS is ant-based clustering algorithm described by a set of equations that model the local behavior of simple units (ants). These units represent data samples. When moving on a heterogeneous 2-dimensional lattice of vectors, global behavior emerges from the local interaction between the ants, which self-organize into clusters. In this paper, a data set consists of the RGB values of a digital (or digitalized) photograph. Two different approaches for the initialization of the environment are tested, each one resulting in radically different output images: when the environment is initialized with the RGB values of the same image that is used to generate the data set, the final result is very similar to the original photo;a random initialization of the environment leads to an abstract interpretation of the photo. The results are contextualized within previous swarm artworks by the authors. © 2013 IEEE.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Paradigm shifts in health informatics

Paradigm shifts in health informatics

引用

International Conference on Health Informatics, HEALTHINF 2013

作者： Serbanati, Luca Dan Radu, Serban Dept. of Engineering Taught in Foreign Languages Politehnica University Spl. Independentei 313 Bucharest Romania Dept. of Computer Science Politehnica University Spl. Independentei 313 Bucharest Romania

ISBN: (纸本)9789898565372

There are many reasons to reflect upon the importance of paradigms in healthcare, their explicit use in health system restructuring and the possibility to anticipate the health field evolution with paradigms. For instance, it is known that an improving or restructuring strategy is needed to adapt health systems to major changes in the way of thinking or doing that occurred in the recent years in the health sector and the society. Such changes are often characterized as paradigm shifts where a paradigm is intended as a reference model of fundamental value widely accepted in a particular sector of activity. The paper claims that an explicit use of paradigms can speed up the restructuring process in healthcare. Some paradigms recently transferred from business modelling and engineering to healthcare could be more helpful if explicitly used in health system restructuring. Two recent paradigms in software engineering that will be found particularly useful to health informatics are also introduced.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

EHR-centric integration of health information systems

EHR-centric integration of health information systems

引用

4th IEEE International Conference on E-Health and Bioengineering, EHB 2013

作者： Serbanati, Luca Dan Ricci, Fabrizio L. Dept. of Engineering Taught in Foreign Languages Politehnica University of Bucharest Bucharest Romania Institute for Systems Analysis and Computer Science Institute of Molecular Bioimaging and Physiology Italian National Research Council Rome Italy

ISBN: (纸本)9781479923731

SmartFSE in course of development in Sicily Region is a longitudinal EHR based on an IT infrastructure that supports the shift from organization-centric to patient-centric model of healthcare service delivery. In order to facilitate collaborative, multidisciplinary and cross-organizational healthcare delivery processes, SmartFSE provides e-services that promote the interoperability by enabling not only communication among authorized healthcare professionals, but also sharing of the Virtual Healthcare Record, an authoritative, multi-dimensional view on the citizens' health state. The SmartFSE's approach, its origin in the LUMIR system and peculiarities, and its use as an integration platform for health. The architectural issues for integration of the regional information system are emphasized. © 2013 IEEE.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Semantic labeling of Chinese serial verb sentences based on feature structure

Semantic labeling of Chinese serial verb sentences based on ...

引用

13th Chinese Lexical Semantics Workshop, CLSW 2012

作者： Chen, Bo Wu, Hongmiao Lv, Chen Yang, Hua Ji, Donghong Dept. of Language and Literature Hubei University of Art and Science Xiangyang China School of Foreign Languages and Literature Wuhan University Wuhan 430072 China Computer School Wuhan University Wuhan 430072 China

ISBN: (纸本)9783642363368

Parsing Chinese serial verb sentences is a key issue in NLP. Many controversies arise from serial verb sentences. This paper puts forward a novel model "the Feature Structure theory" to resolve the semantic labeling of Chinese serial verb sentences. We analyze the difficulties in annotating these sentences, and compare Feature Structure with traditional dependency structure. Feature Structure represents more semantic information and more semantic relations. Feature Graph is a recursive undirected graph, allows nesting and multiple correlations. © 2013 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems

S3A: Secure system simplex architecture for enhanced securit...

引用

2013 2nd ACM International Conference on High Confidence Networked Systems, HiCoNS 2013, as Part of CPSWeek 2013

作者： Mohan, Sibin Bak, Stanley Betti, Emiliano Yun, Heechul Sha, Lui Caccamo, Marco Information Trust Institute University of Illinois Urbana IL 61802 United States Dept. of Computer Science University of Illinois Urbana IL 61802 United States System Programming Research Group University of Rome Tor Vergata Rome Italy

ISBN: (纸本)9781450319614

The recently discovered '***' worm has drastically changed the perception that systems managing critical infrastructure are invulnerable to software security attacks. Here we present an architecture that enhances the security of safety-critical cyber-physical systems despite the presence of such malware. Our architecture uses the property that control systems have deterministic real-time) execution behavior to detect an intrusion within 0.6 μs while still guaranteeing the safety of the plant. We also show that even if an attacker is successful (or gains access to the operating system's administrative privileges), the overall state of the physical system still remains safe. © 2013 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Model-based dynamic optimization with openmodelica and CasADi

Model-based dynamic optimization with openmodelica and CasAD...

引用

7th IFAC Symposium on Advances in Automotive Control, AAC 2013

作者： Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium

ISBN: (纸本)9783902823434

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a dieselelectric power train.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Model-Based Dynamic Optimization with OpenModelica and CasADi

引用

IFAC Proceedings Volumes 2013年第21期46卷 446-451页

作者： Alachew Shitahun Vitalij Ruge Mahder Gebremedhin Bernhard Bachmann Lars Eriksson Joel Andersson Moritz Diehl Peter Fritzson PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden Dept. of Electrical Engineering and Optimization in Engineering Center (OPTEC) K.U. Leuven Belgium

关键词： Modelica OpenModelica model-based optimization dynamic optimization CasADi

来源：评论

学校读者我要写书评

暂无评论

EHR-centric integration of health information systems

EHR-centric integration of health information systems

引用

E-Health and Bioengineering Conference (EHB)

作者： Luca Dan Serbanati Fabrizio L. Ricci Dept. of Engineering Taught in Foreign Languages Politehnica University of Bucharest Bucharest Romania Institute for Systems Analysis and Computer Science Italian National Research Council Rome Italy

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experimental time dispersion parameters of wireless channels over sea at 5.8 GHz

Experimental time dispersion parameters of wireless channels...

引用

54th International Symposium ELMAR-2012

作者： Reyes-Guerrero, Josě Carlos Mariscal, Luis Antonio Dept. of Computer Languages and Systems Nautical Science Faculty University of Cadiz Puerto Real Spain

ISBN: (纸本)9789537044138

Many research works concern the design and development of new technological applications to improve marine communications. In this work, a propagation channel measurement campaign in maritime environments was carried out to investigate the impact of this kind of environments on wireless communications. In particular, we focus on time delay dispersion characteristics of mobile channels for the propagation over sea at 5.8 GHz. Specifically, a wireless link between a buoy and a ship is studied in different multipath conditions. The aim of our designed measurement system is measuring, first, a series of instantaneous Power Delay Profiles (PDPs) and, second, analyzing them over local regions. The empirical cumulative density functions of the delay parameters (mean delay and rms delay spread) and the coherence bandwidth are presented and discussed. As concluded, the delay parameters and the coherence bandwidth were found quite different even when the transmitter and receiver locations do not vary significantly. © 2012 ELMAR (Electronics in Marines).

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

An efficient reasoning method for dependencies over similarity and ordinal data 1

引用

9th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2012

作者： Belohlavek, Radim Cordero, Pablo Enciso, Manuel Mora, Angel Vychodil, Vilem Dept. Computer Science Palacky University Olomouc Czech Republic Dept. Applied Mathematics University of Málaga Spain Dept. Languages and Computer Sciences University of Málaga Spain

ISBN: (数字)9783642346200

ISBN: (纸本)9783642346194

We present a new axiomatization of logic for dependencies in data with grades, including ordinal data and data in an extension of Codd's model that takes into account similarity relations on domains. The axiomatization makes possible an efficient method for automated reasoning for such dependencies that is presented in the paper. The presented method of automatic reasoning is based on a new simplification equivalence which allows to simplify sets of dependencies while retaining their semantic closures. We include two algorithms for computing closures and checking semantic entailment from sets of dependencies and present experimental comparison showing that the algorithms based on the new axiomatization outperform the algorithms proposed in the past. © 2012 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：