搜索页_+Temporal+reasoning

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(2)	Springer电子图书(18)	ProQuest学位论文(57)	GSW全文库(1)
Wiley电子期刊(4)	SpringerLink电子期刊(956)	NATURE电子期刊(5)	Elsevier电子期刊(572)

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

在所有数据库中总计命中：1,615条

1.COMPOSE: Using temporal patterns for interpreting wearable sensor data with computer interpretable guidelines

作者：V. Urovi^a ; ^{v.urovi@maastrichtuniversity.nl} ; O. Jimenez-del-Toro^b ; F. Dubosson^b ; A. Ruiz Torres^c ; M.I. Schumacher^b

关键词：Temporal reasoning ; COMPOSE ; Metabolic syndrome ; Event calculus.

刊名：Computers in Biology and Medicine

出版年：2017

2.Reasoning about equilibria in game-like concurrent systems

作者：Julian Gutierrez ; ^{Julian.Gutierrez@cs.ox.ac.uk} ; Paul Harrenstein ; Michael Wooldridge

关键词：03B44 ; 03B70 ; 68T27 ; 91A40

刊名：Annals of Pure and Applied Logic

出版年：2017

3.Foundations of reading comprehension in children with intellectual disabilities

作者：Evelien van Wingerden^a ; ^{e.vanwingerden@pwo.ru.nl} ; Eliane Segers^a ; Hans van Balkom^a ; ^b ; Ludo Verhoeven^a

关键词：Reading comprehension ; Intellectual disability ; Simple view of reading ; Early literacy skills ; Temporal processing

刊名：Research in Developmental Disabilities

出版年：2017

4.Hierarchical Task Network planning with common-sense reasoning for multiple-people behaviour analysis

作者：Maria J. Santofimia ; ^a ; ^{mariajose.santofimia@uclm.es" class="auth_mail" title="E-mail the corresponding author} ; Jesus Martinez-del-Rincon^b ; ^{j.martinez-del-rincon@qub.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Xin Hong^b ; ^{x.hong@qub.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Huiyu Zhou^b ; ^{h.zhou@ecit.qub.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Paul Miller^b ; ^{p.miller@qub.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; David Villa^a ; ^{david.villa@uclm.es" class="auth_mail" title="E-mail the corresponding author} ; Juan C. Lopez^a ; ^{juancarlos.lopez@uclm.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Activity recognition ; Common-sense ; Video analysis ; Surveillance

刊名：Expert Systems with Applications

出版年：2017

5.Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain

作者：Mohcine Madkour^a ; ^{mohcine.madkour@uth.tmc.edu" class="auth_mail" title="E-mail the corresponding author} ; Driss Benhaddou^b ; ^{dbenhadd@Central.uh.edu" class="auth_mail" title="E-mail the corresponding author} ; Cui Tao ; ^a ; ^{cui.tao@uth.tmc.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Clinical temporal information ; Temporal representation ; Temporal extraction ; Ontologies of time ; Medical NLP

刊名：Computer Methods and Programs in Biomedicine

出版年：2016

6.The problem of coincidence in a theory of temporal multiple recurrence

作者：B.O. Akinkunmi ^{ope34648@yahoo.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Temporal reasoning ; Interval calculus ; Reified logic

刊名：Journal of Applied Logic

出版年：2016

7.Multilingual generation of uncertain temporal expressions from data: A study of a possibilistic formalism and its consistency with human subjective evaluations

作者：Albert Gatt^a ; ^{albert.gatt@um.edu.mt" class="auth_mail" title="E-mail the corresponding author} ; Franç ; ois Portet^b ; ^c ; ^{francois.portet@imag.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Natural language generation ; Temporal uncertainty ; Epistemic modality ; Possibility theory

刊名：Fuzzy Sets and Systems

出版年：2016

8.The scope and limits of simulation in automated reasoning

作者：Ernest Davis^a ; ^{davise@cs.nyu.edu" class="auth_mail" title="E-mail the corresponding author} ; Gary Marcus^b ; ^{gary.marcus@nyu.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Physical reasoning ; Simulation

刊名：Artificial Intelligence

出版年：2016

9.On temporal logics with data variable quantifications: Decidability and complexity

作者：Fu Song^a ; ^b ; Zhilin Wu^c ; ^d ; ^{wuzl@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Temporal logics ; Data variable quantifications ; Satisfiability ; Model checking ; Decidability and complexity ; Alternating register automata ; Data automata

刊名：Information and Computation

出版年：2016

10.Modeling eye movement patterns to characterize perceptual skill in image-based diagnostic reasoning processes

作者：Rui Li ; ^{lr8032@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; ^{rxlics@rit.edu" class="auth_mail" title="E-mail the corresponding author} ; Pengcheng Shi ^{pengcheng.shi@rit.edu" class="auth_mail" title="E-mail the corresponding author} ; Jeff Pelz ^{jeff.pelz@rit.edu" class="auth_mail" title="E-mail the corresponding author} ; Cecilia O. Alm ^{coagla@rit.edu" class="auth_mail" title="E-mail the corresponding author} ; Anne R. Haake ^{anne.haake@rit.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Visual attention ; Multi-modal data ; Diagnostic reasoning ; Probabilistic modeling ; Nonparametric Bayesian method ; Markov chain Monte Carlo ; Combinatorial stochastic processes

刊名：Computer Vision and Image Understanding

出版年：2016

按检索点细分(572)

题名(70)

关键词(166)

文摘(405)

按出版年细分(572)

2027年及以后(23)

2017年(4)

2016年(23)

2015年(14)

2014年(3)

2013年(34)

2012年(34)

2011年(33)

2010年(28)

2009年(38)

2008年(39)

2007年(19)

2006年(30)

2005年(20)

2004年(18)

2003年(25)

2002年(16)

2001年(18)

2000年(16)

2000年及以前(137)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700