搜索页_+Non-standard+semantics

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(1)	SpringerLink电子期刊(225)	Elsevier电子期刊(129)
Springer电子图书(2)	ProQuest学位论文(16)

在“Elsevier电子期刊”中，命中：129条，耗时：0.1299394 秒

在所有数据库中总计命中：373条

1.Real-time data analytics and event detection for IoT-enabled communication systems

作者：Muhammad Intizar Ali^a ; ^{ali.intizar@insight-centre.org} ; Naomi Ono^a ; ^{naomi.ono@insight-centre.org} ; Mahedi Kaysar^a ; ^{mahedi.kaysar@insight-centre.org} ; Zia Ush Shamszaman^a ; ^{zia.shamszaman@insight-centre.org} ; Thu-Le Pham^a ; ^{thule.pham@insight-centre.org} ; Feng Gao^a ; ^{feng.gao@insight-centre.org} ; Keith Griffin^b ; ^{kegriffi@cisco.com} ; Alessandra Mileo^a ; ^{alessandra.mileo@insight-centre.org}

关键词：RDF stream processing ; Stream federation ; Internet of Things (IoT) ; Communication systems ; Linked data ; Stream reasoning

刊名：Web Semantics: Science, Services and Agents on the World Wide Web

出版年：2017

2.A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications

作者：Matteo Rossi ; ^{matteo.rossi@polimi.it" class="auth_mail" title="E-mail the corresponding author} ; Dino Mandrioli ^{dino.mandrioli@polimi.it" class="auth_mail" title="E-mail the corresponding author} ; Angelo Morzenti ^{angelo.morzenti@polimi.it" class="auth_mail" title="E-mail the corresponding author} ; Luca Ferrucci ^{luca.ferrucci@polimi.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Metric temporal logic ; Formal and automatic verification ; Micro- and macro-steps ; Non-standard analysis ; Petri nets ; Stateflow/Simulink

刊名：Theoretical Computer Science

出版年：2016

3.Prediction of relative position of CT slices using a computational intelligence system

作者：Mauro Castelli^a ; ^{mcastelli@novaims.unl.pt" class="auth_mail" title="E-mail the corresponding author} ; Leonardo Trujillo^b ; ^{leonardo.trujillo@tectijuana.edu.mx" class="auth_mail" title="E-mail the corresponding author} ; Leonardo Vanneschi^a ; ^{lvanneschi@novaims.unl.pt" class="auth_mail" title="E-mail the corresponding author} ; Ale&scaron ; Popovič^a ; ^c ; ^{apopovic@novaims.unl.pt" class="auth_mail" title="E-mail the corresponding author}

关键词：Computerized tomography ; Radiology ; Genetic programming ; Semantics ; Local search

刊名：Applied Soft Computing

出版年：2016

4.Improving Semantic Relatedness Assessments: Ontologies Meet Textual Corpora

作者：Montserrat Batet^a ; ^{mbatetsa@uoc.edu" class="auth_mail" title="E-mail the corresponding author} ; David Sá ; nchez^b

关键词：knowledge ; semantics ; semantic relatednes ; semantic similarity ; ontologies ; textual information distribution.

刊名：Procedia Computer Science

出版年：2016

5.Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

作者：Carlos Caleiro^a ; ^{ccal@math.ist.utl.pt" class="auth_mail" title="E-mail the corresponding author} ; Joã ; o Marcos^b ; ^{jmarcos@dimap.ufrn.br" class="auth_mail" title="E-mail the corresponding author} ; Marco Volpe^c ; ^{marco.volpe@univr.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Bivalent semantics ; Truth-functionality ; Compositionality ; Analyticity ; Tableaux ; Proof complexity

刊名：Theoretical Computer Science

出版年：2015

6.Alternation-Free Weighted Mu-Calculus: Decidability and Completeness

作者：Kim G. Larsen¹ ; ^{kgl@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Radu Mardare¹ ; ^{mardare@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Bingtian Xue¹ ; ^{bingt@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：weighted modal Mu-Calculus ; non-compact modal logics ; weighted transition systems ; satisfiability ; complete axiomatization

刊名：Electronic Notes in Theoretical Computer Science

出版年：2015

7.Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure

作者：Filippo Bonchi^a ; ^{filippo.bonchi@ens-lyon.fr" class="auth_mail" title="E-mail the corresponding author} ; Stefan Milius^b ; ¹ ; ^{mail@stefan-milius.eu" class="auth_mail" title="E-mail the corresponding author} ; Alexandra Silva^c ; ^d ; ^e ; ^{alexandra@cs.ru.nl" class="auth_mail" title="E-mail the corresponding author} ; Fabio Zanasi^a ; ^{fabio.zanasi@ens-lyon.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Coalgebras on Kleisli categories ; Parametrized fixpoint operator ; Trace semantics ; Epsilon transitions ; Mazurkiewicz traces ; Non-deterministic transducers

刊名：Theoretical Computer Science

出版年：2015

8.Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks

作者：Ofer Arieli ^{oarieli@mta.ac.il" class="auth_mail" title="E-mail the corresponding author}

关键词：Abstract argumentation ; Constraints satisfaction ; Three-valued and four-valued semantics

刊名：Journal of Applied Logic

出版年：2015

9.Non-standard semantics of hybrid systems modelers

作者：Albert Benveniste^a ; ^{Albert.Benveniste@inria.fr} ; Timothy Bourke^a ; ^{Timothy.Bourke@inria.fr} ; Benoî ; t Caillaud^a ; ^{Benoit.Caillaud@inria.fr} ; Marc Pouzet^b ; ^{Marc.Pouzet@ens.fr}

关键词：Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems

刊名：Journal of Computer and System Sciences

出版年：2012

10.Lexical Features of Malaysian English in a Local English-Language Movie, Ah Lok Café

作者：Zaamah Mohd Nor^a ; ^{za1377@yahoo.com" class="auth_mail" title="E-mail the corresponding author} ; Norazrin Zamri^b ; Su&rsquo ; ad Awab^c

关键词：Varieties of English ; Malaysian English ; Lexis ; Discourse/Genre analysis

刊名：Procedia - Social and Behavioral Sciences

出版年：2015

按检索点细分(129)

题名(3)

关键词(4)

文摘(94)

按出版年细分(129)

2027年及以后(6)

2017年(1)

2016年(3)

2015年(5)

2013年(6)

2012年(7)

2011年(3)

2010年(6)

2009年(12)

2008年(4)

2007年(12)

2006年(10)

2005年(14)

2004年(8)

2003年(7)

2002年(5)

2001年(2)

2000年(4)

2000年及以前(14)