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

13th international Work-conference on Artificial Neural Networks, IWANN 2015

ISBN: (纸本)9783319192215

the proceedings contain 58 papers. the special focus in this conference is on Pattern Recognition, Embedded Intelligent Systems, Expert Systems, Advances in Computational Intelligence and Applications of Computational Intelligence. the topics include: Developing gene classifier system for autism recognition;a distributed feature selection approach based on a complexity measure;a medical case-based reasoning approach using image classification and text information for recommendation;non spontaneous saccadic movements identification in clinical electrooculography using machine learning;applying a hybrid algorithm to the segmentation of the Spanish stock market index time series;energy flux range classification by using a dynamic window autoregressive model;automatic eye blink detection using consumer web cameras;insights on the use of convolutional neural networks for document image binarization;a genetic algorithms-based LSSVM classifier for fixed-size set of support vectors;ensemble of minimal learning machines for pattern classification;extreme learning machines for multiclass classification;modeling retina adaptation with multiobjective parameter fitting;stochastic-based implementation of reservoir computers;logic programming and artificial neural networks in breast cancer detection;evolutionary hybrid configuration applied to a polymerization process modelling;multi-layer perceptrons for voxel-based classification of point clouds from natural environments;an improved RBF neural network approach to nonlinear curve fitting;multiwindow fusion for wearable activity recognition;short-term spanish aggregated solar energy forecast;intelligent presentation skills trainer analyses body movement and existence and synthesis of complex hopfield type associative memories.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formalization of the DE2 language

引用

13th IFIP WG 10.5 Advanced Research Working conference on Correct Hardware Design and Verification Methods, CHARME 2005

作者： Hunt Jr., Warren A. Reeber, Erik Department of Computer Sciences 1 University Station University of Texas Austin TX 78712-0233 United States

ISBN: (纸本)3540291059

We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of PSM descriptions. Using the ACL2 functional logic, we have defined a predicate for detecting the well-formedness of DE2 expressions. Furthermore, we have defined a symbolic simulator for DE2 expressions which also serves as a formal cycle-based semantics for the DE2 language. DE2 is deeply embedded within ACL2, and the DE2 language includes an annotation facility that can be used by programs that manipulate DE2 descriptions. the DE2 user may also specify and prove the correctness of programs that generate DE2 descriptions. We have used DE2 to mechanically verify components of the TRIPS microprocessor implementation. © IFIP international Federation for Information Processing 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

AURA: a programming language for authorization and audit

引用

ACM SIGPLAN NOTICES 2008年第9期43卷 27-38页

作者： Jia, Limin Vaughan, Jeffrey A. Mazurak, Karl Zhao, Jianzhou Zarko, Luke Schorr, Joseph Zdancewic, Steve Univ Penn Philadelphia PA 19104 USA

this paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic constructs (e.g., principals and access control policies) in a uniform way. AURA is based on polymorphic DCC and uses dependent types to permit assertions that refer directly to AURA values while keeping computation out of the assertion level to ensure tractability. the main technical results of this paper include fully mechanically verified proofs of the decidability and soundness for AURA's type system, and a prototype typechecker and interpreter.

关键词： design language security access control authorization logic audit type systems

来源：评论

学校读者我要写书评

暂无评论

LOOP-a language for LP-based AI applications

LOOP-a language for LP-based AI applications

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： A. Suciu K. Pusztai T. Muresan Z. Simon Department of Computer Science Technical University of Cluj Napoca Cluj-Napoca Romania

One major drawback of logic programming, particularly Prolog, is the lack of mechanisms for structuring knowledge (i.e. program clauses). this makes programming-in-the-large a difficult task even using the module system. To overcome this, various attempts were made to extend the logic programming paradigm with object-oriented features. We introduced LOOP previously (2000), a class-based, logic and object-oriented programming language, centered around the view of objects as persistent mutable terms with backtrackable state, which extends Prolog in a simple and straightforward fashion. To validate our ideas we recently developed a prototype based on expansion to Prolog code, implemented in Sicstus Prolog, a state of the art Prolog system which supports mutable terms with backtrackable destructive assignment.

关键词： Artificial intelligence logic programming Computer languages Electrical capacitance tomography Application software Prototypes Software engineering Java Kalman filters Computer science

来源：评论

学校读者我要写书评

暂无评论

Lattice-search runtime distributions may be heavy-tailed 12

Lattice-search runtime distributions may be heavy-tailed

引用

12th international conference, ILP 2002

作者： Železným, Filip Srinivasan, Ashwin Page, David Dept. of Cybernetics Faculty of Electrical Engineering Czech Technical University Karlovo Nám. 13 121 35 Prague Czech Republic Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom Dept. of Biostatistics University of Wisconsin 1300 University Ave. Madison WI 53706 United States

ISBN: (纸本)9783540005674

Recent empirical studies show that runtime distributions of backtrack procedures for solving hard combinatorial problems often have intriguing properties. Unlike standard distributions (such as the normal), such distributions decay slower than exponentially and have "heavy tails". Procedures characterized by heavy-tailed runtime distributions exhibit large variability in efficiency, but a very straightforward method called rapid randomized restarts has been designed to essentially improve their average performance. We show on two experimental domains that heavy-tailed phenomena can be observed in ILP, namely in the search for a clause in the subsumption lattice. We also reformulate the technique of randomized rapid restarts to make it applicable in ILP and show that it can reduce the average search-time.

关键词： inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Implementation and Applications of Automata 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540708445

ISBN: (纸本)9783540708438

the 13th international conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21–24, 2008. this volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as the abstracts of the poster papers that were displayed during the conference. the volume also includes the - per/extended abstract of the four invited talks presented by Markus Holzer, Kai Salomaa, Mihalis Yannakakis, and Hsu-Chun Yen. the 24 regular papers were selected from 40 submissions covering various topics in the theory, implementation, and applications of automata and related structures. Each submitted paper was reviewed by at least three ProgramC- mittee members, with the assistance of external referees. the authors of the papers and posters presented in this volume come from the following co- tries: Australia, Belgium, Canada, China, Columbia, Czech Republic, France, Germany, Hungary, Italy, Japan, the Netherlands, Poland, Portugal, Romania, Russia, Spain, Sweden, Taiwan, United Arab Emerates, and USA. We wish to thank all who made this conference possible: the authors for s- mittingpapers,theProgramCommitteemembersandexternalreferees(listedin the proceedings) for their excellent work, and the four invited speakers. Finally, we wish to express our sincere appreciation to the sponsors, local organizers, and the editors of the Lecture Notes in Computer Science seriesand Springer, in particular Alfred Hofmann, for their help in publishing this volume in a timely manner.

关键词： Computation by Abstract Devices programming Techniques programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

A Multi-valued logic Assessment of Organizational Performance via Workforce Social Networking 10th

A Multi-valued Logic Assessment of Organizational Performanc...

引用

10th EAI international conference on Big Data Technologies and Applications, BDTA 2020 and 13th EAI international conference on Wireless Internet, WiCON 2020

作者： Neves, José Fdez-Riverola, Florentino Alves, Vitor Ferraz, Filipa Sousa, Lia Costa, António Ribeiro, Jorge Vicente, Henrique Centro Algoritmi Universidade do Minho Braga Portugal Instituto Politécnico de Saúde do Norte CESPU Gandra Portugal Departamento de Informática ESEI – Escuela Superior de Ingeniería Informática Universidad de Vigo Campus Universitario As Lagoas Ourense Spain Instituto Politécnico de Viana do Castelo Rua da Escola Industrial e Comercial de Nun’Álvares Viana do Castelo4900-347 Portugal Departamento de Química Escola de Ciências e Tecnologia REQUIMTE/LAQV Universidade de Évora Évora Portugal

ISBN: (纸本)9783030728014

Social Media have changed the conditions and rules of Social Networking (SNet) where it comes from people intermingling with each other, i.e., SNet is to be understood as a process that works on the principle of many-to-many;any individual can create and share content. It is intended to explore explore the complex dynamics between SNet, logic programming (LP), and the Laws of thermodynamic (LoT) in terms of entropy by drawing attention to how Multi-Value logic (MVL) intertwines with SNet, LP and LoT, i.e., its norms, strategies, mechanisms, and methods for problem solving that underpin its dynamics when looks to programmability, connectivity, and organizational performance. Indeed, one’s focus is on the tactics and strategies of MVL to evaluate the issues under which social practices unfold and to assess their impact on organizational performance. © 2021, ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

Syntax-Guided Synthesis

Syntax-Guided Synthesis

引用

13th international conference on Formal Methods in Computer-Aided Design (FMCAD)

作者： Alur, Rajeev Bodik, Rastislav Juniwal, Garvit Martin, Milo M. K. Raghothaman, Mukund Seshia, Sanjit A. Singh, Rishabh Solar-Lezama, Armando Torlak, Emina Udupa, Abhishek Univ Penn Philadelphia PA 19104 USA Univ Calif Berkeley Berkeley CA USA MIT Cambridge MA 02139 USA

ISBN: (纸本)9780983567837

the classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementations. Our goal is to identify the core computational problem common to these proposals in a logical framework. the input to the syntax-guided synthesis problem (SyGuS) consists of a background theory, a semantic correctness specification for the desired program given by a logical formula, and a syntactic set of candidate implementations given by a grammar. the computational problem then is to find an implementation from the set of candidate expressions so that it satisfies the specification in the given theory. We describe three different instantiations of the counter-example-guided-inductive-synthesis (CEGIS) strategy for solving the synthesis problem, report on prototype implementations, and present experimental results on an initial set of benchmarks.

关键词： automatic programming computational linguistics formal specification program verification

来源：评论

学校读者我要写书评

暂无评论

An analysis on turn-off behaviour of 1.2kV NPT-CIGBT under clamped inductive load switching

An analysis on turn-off behaviour of 1.2kV NPT-CIGBT under c...

引用

international (EPE-PEMC) Power Electronics and Motion Control conference

作者： S.T. Kong L. Ngwendson M. Sweet E.M. Sankara Narayanan University of Sheffield UK

For the first time, this paper analyses the turn-off-behaviour of the planar 1.2 kV/25 A NPT-CIGBT under clamped inductive load switching in detail through experiment and simulation. Turn-off behaviour of the CIGBT involves strong interaction between device and circuit parameters. the circuit parameter such as gate resistance was varied, in order to observe the di/dt, dv/dt and turn-off energy loss of the device. Experimental results are shown at 25degC and 125degC. In addition, numerical simulation results are used to enhance understanding of the internal physics of the NPT-CIGBT turn-off process.

关键词： logic gates Anodes Insulated gate bipolar transistors Voltage control Resistance Switches Cathodes

来源：评论

学校读者我要写书评

暂无评论

Compiler Construction 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Evelyn Duesterwald

ISBN: (数字)9783540247234

ISBN: (纸本)9783540212973

the CC program committee is pleased to present this volume with the p- ceedings of the 13th international conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler te- nology, programming language implementation, and language design. the c- ference emphasizes practical and experimental work and invites contributions on methods and tools for all aspects of compiler technology and all language paradigms. this volume serves as the permanent record of the 19 papers accepted for presentation at CC 2004 held in Barcelona, Spain, during April 1–2, 2004. the 19 papers in this volume were selected from 58 submissions. Each paper was assigned to three committee members for review. the program committee met for one day in December 2003 to discuss the papers and the reviews. By the end of the meeting, a consensus emerged to accept the 19 papers presented in this volume. However, there were many other quality submissions that could not be accommodated in the program; hopefully they will be published elsewhere. thecontinuedsuccessoftheCCconferenceserieswouldnotbepossiblewi- out the help of the CC community. I would like to gratefully acknowledge and thank all of the authors who submitted papers and the many external reviewers who wrote reviews.

关键词： programming Languages, Compilers, Interpreters Software Engineering logics and Meanings of Programs Mathematical logic and Formal Languages Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：