×

找到102个文档（结果1-100）

最新的 引文 关联
柯蒂斯·戴瑞森（Curtis E.Dyreson）。;马纳齐尔·阿赫桑

实现具有日志分段时间戳的顺序关系查询语言。 （英语） Zbl 07744957号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代》2021，奥地利克拉根福（虚拟会议），2021年9月27日至29日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第14条，第13页（2021年）。
MSC公司：03B44号 60年第68季度 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Dyreson}和\textit{M.A.M.Ahsan}，LIPIcs——莱布尼茨国际程序。通知。206，第14条，第13页（2021；Zbl 07744957）
全文： 内政部
程泽慧;Phokion G.科莱蒂斯。

时态数据交换的通用解决方案。 （英语） Zbl 07760478号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第8条，第17页（2020年）。
MSC公司：68第05页 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{Z.Cheng}和\textit{P.G.Kolaitis}，LIPIcs——莱布尼茨国际程序。通知。178，第8条，第17页（2020；Zbl 07760478）
全文： 内政部
索莱达·勒克莱奇;JoséM·维加。

基于DMD方法的降阶建模综述。 （英语） Zbl 1425.76145号

Fehr，Jörg（ed.）等人，IUTAM耦合系统模型降阶研讨会。2018年MORCOS。IUTAM研讨会会议记录，德国斯图加特，2018年5月22日至25日。查姆：斯普林格。IUTAM Bookser出版社。36, 55-66 (2020).
MSC公司：76M10个 37升15 76D25型 37N10号
PDF格式BibTeX公司 XML格式引用
\textit{S.Le Clainche}和\textit{J.M.Vega}，IUTAM Bookser。36，55-66（2020年；兹比尔1425.76145）
全文： 内政部
何塞·莫雷拉;何塞·杜阿尔特;保罗·迪亚斯

在数据库中建模和表示真实时空数据（愿景文件）。 （英语） Zbl 1493.68133号

Timpf，Sabine（编辑）等人，第14届空间信息理论国际会议，COSIT 2019，德国雷根斯堡，2019年9月9日至13日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。142，第6条，第14页（2019年）。
MSC公司：第68页，共15页 68单位05 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.Moreira}等人，LIPIcs——莱布尼茨国际程序。通知。142，第6条，第14页（2019年；兹bl 1493.68133）
全文： 内政部
安德烈亚斯·多尔;克里斯蒂安·恩格斯;安德烈亚斯·贝伦德

处理关系数据库中时间间隔集的代数运算符。 （英语） Zbl 1487.68090号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第11条，第16页（2018年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Dohr}等人，LIPIcs——莱布尼茨国际程序。通知。120，第11条，第16页（2018；Zbl 1487.68090）
全文： 内政部
黛拉·莫妮卡，达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科

通过区间时序逻辑模型检查评估时序数据集。 （英语） Zbl 1515.68109号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第11条，第18页（2017年）。
MSC公司：第68页，共15页 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，LIPIcs——莱布尼茨国际程序。通知。90，第11条，第18页（2017年；Zbl 1515.68109）
全文： 内政部
安东·迪戈斯;迈克尔·H·Böhlen。;约翰·甘珀;克里斯蒂安·詹森。

扩展关系数据库管理系统的内核，全面支持时序时态查询。 （英语） Zbl 1474.68093号

ACM事务处理。数据库系统。 41，第4号，第26条，46页（2016年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Dignös}等人，《美国医学杂志》。数据库系统。41，第4号，第26条，46页（2016年；Zbl 1474.68093）
全文： 内政部 链接
哈迪·克莱默

时态数据库中的挖掘和相似性搜索。 （英语） Zbl 1328.68008号

Ergebnisse aus der Informatik 1。亚琛：Apprimus Verlag；亚琛：RWTH Aachen Univ.，Fakultät für Mathematik，Informatik und Naturwissenschaften（Diss.）（ISBN 978-3-86359-157-1）。第二十八、216页。(2013).
MSC公司：68-02 62H30型 62M10个 第68页，共15页 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{H.Kremer}，时态数据库中的挖掘和相似性搜索。亚琛：Apprimus Verlag；亚琛：RWTH Aachen Univ.，Fakultät für Mathematik，Informatik und Naturwissenschaften（Diss.）（2013；Zbl 1328.68008）
全文： 链接
Heimbürger，A。（编辑）;Y.清崎。（编辑）;德田，T。（编辑）;H.雅科拉。（编辑）;吉田，N。（编辑）

信息建模和知识库二十二（EJC 2010）。论文基于2011年6月6日至10日在爱沙尼亚塔林举行的欧洲-日本会议上的发言。 （英语） 兹比尔1208.68019

人工智能和应用的前沿225.阿姆斯特丹：IOS出版社（ISBN 978-1-60750-689-8/hbk；978-1-60750-690-4/电子书）。x、 第449页。(2011).
MSC公司：68-06 第68页，共15页 68第20页 68立方英尺 68层35 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Heimbürger｝（编辑）等人，信息建模和知识库XXII（EJC 2010）。论文基于2011年6月6日至10日在爱沙尼亚塔林举行的欧洲-日本会议上的发言。阿姆斯特丹：IOS出版社（2011；Zbl 1208.68019）
全文： 链接
戴维·巴恩斯;费利克斯·克莱特克;塞缪尔·米勒;比吉特·普菲茨曼

度量一阶时间属性的运行时监视。 （英语） Zbl 1248.68318号

Hariharan，Ramesh（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），2008年12月9日至11日，印度班加罗尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-08-8）。LIPIcs–莱布尼茨国际信息学会议录2，49-60，仅电子版（2008年）。
MSC公司：60年第68季度 03B44号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，LIPIcs——莱布尼茨国际程序。通知。2、49-60（2008；Zbl 1248.68318）
全文： 内政部 链接
马可·艾略（编辑）;伊恩·普拉特·哈特曼（编辑）;约翰·范·本特姆（编辑）

空间逻辑手册。 （英语） Zbl 1172.03001号

多德雷赫特：施普林格（ISBN 978-1-4020-5586-7/hbk）。xxii，1058页。(2007).
审核人：伯恩哈德·海尼曼（黑根）
MSC公司：03-00 03B10号机组 03B45号 03B70号 03B80型 05年3月 03G30型 第68页，共15页 第68页第27页 68单位10
PDF格式BibTeX公司 XML格式引用
\textit{M.Aiello}（编辑）等人，《空间逻辑手册》。多德雷赫特：施普林格（2007；Zbl 1172.03001）
全文： 内政部
最后，马克（编辑）;亚伯拉罕·坎德尔（编辑）;霍斯特Bunke（编辑）

时间序列数据库中的数据挖掘。 （英语） Zbl 1050.68036号

机器感知与人工智能系列57.新泽西州River Edge：世界科学（ISBN 981-238-290-9/hbk；978-981-256-540-2/电子书）。xi，192页。(2004).
MSC公司：第68页，共15页 68-01年
PDF格式BibTeX公司 XML格式引用
\textit{M.Last}（编辑）等人，时间序列数据库中的数据挖掘。新泽西州River Edge：世界科学（2004；Zbl 1050.68036）
全文： 内政部
哈齐拉科斯，塔纳西斯（编辑）;亚尼斯·马诺洛波洛斯（编辑）;约翰·F·罗迪克。（编辑）;亚尼斯·西奥多里迪斯（编辑）

空间和时间数据库的进展。2003年7月24日至27日，第8届国际研讨会，SSTD 2003，希腊圣托里尼岛。诉讼程序。 （英语） Zbl 1025.00003号

计算机科学课堂讲稿. 2750. 柏林：斯普林格。xiii，525页（2003年）。
MSC公司：00B25型 68-06 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit｛T.Hadzilacos｝（编辑）等人，《空间和时间数据库的进展》。2003年7月24日至27日在希腊圣托里尼岛举行的第八届SSTD国际研讨会。诉讼程序。柏林：施普林格出版社（2003；Zbl 1025.00003）
全文： 内政部 链接
马诺利斯库巴拉基斯（编辑）;蒂莫斯·塞利斯（编辑）;安德鲁·弗兰克。（编辑）;Stéphane Grumbach（编辑）;拉尔夫·哈特穆特·古汀（编辑）;克里斯蒂安·詹森。（编辑）;尼科斯·洛伦佐斯（编辑）;亚尼斯·马诺洛波洛斯（编辑）;恩里科·纳德利（编辑）;巴巴拉·佩尼西（编辑）;Hans-Jörg Schek（编辑）;米歇尔·斯科尔（编辑）;巴比斯狄奥多利迪斯（编辑）;Tryfona，油桃（编辑）

时空数据库。CHOROCHRONOS方法。 （英语） Zbl 1019.68713号

计算机科学课堂讲稿. 2520. 柏林：斯普林格。xiv，352页（2003年）。
MSC公司：99年6月 68-06 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Koubarakis}（编辑）等，时空数据库。CHOROCHRONOS方法。柏林：施普林格出版社（2003；Zbl 1019.68713）
全文： 内政部 链接
安德烈亚斯·德梅尔

为多维光栅数据设计压缩引擎。 （英语） Zbl 0988.68685号

Mayr，Heinrich C.（编辑）等人，《数据库和专家系统应用》。第十二届国际会议，2001年DEXA，德国慕尼黑，2001年9月3日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2113, 470-480 (2001).
MSC公司：99年6月 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Dehmel}，莱克特。注释计算。科学。2113470-480（2001年；Zbl 0988.68685）
全文： 链接
德伦德勒，穆罕默德·E。;奥祖尔·乌卢索伊;Uǧur，Güdükbay

一种基于规则的方法，用于表示视频数据中的时空关系。 （英语） Zbl 1051.68638号

Yakhno，Tatyana（编辑），《信息系统的进展》。第一届国际会议，ADVIS 2000，土耳其伊兹密尔，2000年10月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41184-4）。莱克特。注释计算。科学。1909, 409-418 (2000).
MSC公司：99年6月 第68页，共15页 68第20页
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Dönderler}等人，Lect。注释计算。科学。1909年，409--418（2000年；Zbl 1051.68638）
全文： 链接
林伟强;穆罕默德·奥尔根（Mehmet A.Orgun）。

使用隐藏周期分析的时间数据挖掘。 （英语） Zbl 0983.68711号

Ra-shi，Zbigniew W.（编辑）等人，《智能系统的基础》。2000年10月11日至14日，第12届国际研讨会，ISMIS 2000，美国北卡罗来纳州夏洛特。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1932, 49-58 (2000).
MSC公司：99年6月 68第20页 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{W.Lin}和\textit{M.A.Orgun}，莱克特。注释计算。科学。1932年，49-58年（2000年；Zbl 0983.68711）
安德洛索普洛斯

自然语言前端的时间意义表示。 （英语） Zbl 0987.68079号

Gergatsoulis，Manolis（编辑）等人，《集约规划II》。1999年6月28日至30日，希腊雅典，第十二届内涵式编程语言国际研讨会（ISLIP’99）的论文。新加坡：世界科学。197-213 (2000).
MSC公司：68T50型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{I.Androutsopoulos}，in：集约化编程II。1999年6月28日至30日在希腊雅典举行的第十二届内涵式编程语言国际研讨会（ISLIP’99）上发表的论文。新加坡：世界科学。197-213（2000年；Zbl 0987.68079）
Dov M.加巴伊。;马克·雷诺兹（Mark A.Reynolds）。;马塞洛·芬格

时间逻辑。第2卷。数学基础和计算方面。 （英语） Zbl 1014.03006号

牛津逻辑指南. 40. 纽约州纽约市：牛津大学出版社。xiv，597页（2000年）。
MSC公司：03-02 03B44号 03B70号 65年第68季度 60年第68季度 第68页第27页 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第2卷。数学基础和计算方面。纽约州纽约市：牛津大学出版社（2000；Zbl 1014.03006）
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫

一阶时序逻辑的可判定片段。 （英语） Zbl 0999.03015号

Ann.纯粹应用。逻辑 106，编号1-3，85-134（2000）。
审核人：马丁·霍夫曼（慕尼黑）
MSC公司：03B44号 03B25号 第68页，共15页 60年第68季度 68立方英尺 03第35页
PDF格式BibTeX公司 XML格式引用
\textit{I.Hodkinson}等人，Ann.Pure Appl。逻辑106，编号1--3，85-134（2000；Zbl 0999.03015）
全文： 内政部
迈克尔·德克蒂亚。;亚历山大·贾，迪科夫斯基。;Mars K·瓦利耶夫。

应用时序逻辑分析协作逻辑程序的行为。 （英语） Zbl 0971.68018号

Björner，Dines（编辑）等人，《系统信息学的观点》。第三届安德烈·埃尔肖夫国际纪念大会，PSI'99。1999年7月6日至9日，俄罗斯新西伯利亚，Akademgorodik。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1755, 228-234 (2000).
MSC公司：68N17号 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Dekhtyar}等人，Lect。注释计算。科学。1755、228--234（2000年；Zbl 0971.68018）
马塞洛·芬格;马克·雷诺兹

双时态数据库的二维可执行时态逻辑。 （英语） Zbl 0945.03020号

霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16393-411（2000年）。
MSC公司：03B44号 第68页，共15页 03B70号 90B99型
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{M.Reynolds}，应用。日志。序列号。16、393--411（2000；Zbl 0945.03020）
叶新峰

时态数据库中的并行聚合操作。 （英语） Zbl 0969.68554号

Edwards，Jenny（编辑），《计算机科学》。ACSC’99。第22届澳大拉西亚会议记录，1999年1月18日至21日，新西兰奥克兰。新加坡：斯普林格。澳大利亚。计算。科学。公社。21(1), 241-252 (1999).
MSC公司：99年6月 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{X.Ye}，in：计算机科学。ACSC’99。第22届澳大利亚会议记录，新西兰奥克兰，1999年1月18日至21日。新加坡：斯普林格。241--252（1999；Zbl 0969.68554）
妮可·比多瓦;桑德拉·德·阿莫

隐式时间查询语言：走向完整。 （英语） Zbl 0958.68057号

Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19届会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 245-257 (1999).
MSC公司：第68页，共15页 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{N.Bidoit}和\textit{S.deAmo}，莱克特。注释计算。科学。17382245-257（1999年；兹bl 0958.68057）
马塞洛·芬格;马克·雷诺兹

强制历史：二维可执行时态逻辑。 （英语） Zbl 0952.03015号

Ohlbach，Hans Jürgen（编辑）等人，《逻辑、语言和推理》。纪念Dov Gabbay的论文。多德雷赫特：Kluwer学术出版社。趋势日志。螺柱日志。伦敦银行同业拆借利率。5, 73-98 (1999).
MSC公司：03B44号 第68页，共15页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{M.Reynolds}，趋势日志。螺柱日志。伦敦银行同业拆借利率。5、73-98（1999；Zbl 0952.03015）
伊丽莎·贝尔蒂诺;Ooi、Beng Chin;罗恩·萨克斯·达维斯;Tan，Kian Lee先生;贾斯汀·佐贝尔;鲍里斯·希德洛夫斯基;巴巴拉·卡塔尼亚

高级数据库系统的索引技术。 （英语） Zbl 0893.68057号

Kluwer数据库系统进展国际丛书第8条。多德雷赫特：Kluwer学术出版社。ix，250页（1997年）。
审核人：J.波科尼（普拉哈）
MSC公司：第68页，共15页 68-02
PDF格式BibTeX公司 XML格式引用
\textit{E.Bertino}等人，高级数据库系统的索引技术。多德雷赫特：Kluwer学术出版社（1997；Zbl 0893.68057）
塞拉姆·苏布拉曼尼亚语;斯里达尔·拉马斯瓦米

p-范围树：一种新的数据结构，用于在辅助存储器中进行范围搜索。 （英语） Zbl 0848.68029号

Clarkson，K.（编辑），第六届ACM-SIAM离散算法年度研讨会论文集，美国加利福尼亚州旧金山，1995年1月22日至24日。宾夕法尼亚州费城：SIAM。378-387 (1995).
MSC公司：68页第10页 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Subramanian｝和\textit｛S.Ramaswamy｝，载于：第六届ACM-SIAM离散算法年度研讨会论文集，SODA'95，美国加利福尼亚州旧金山，1995年1月22-24日。宾夕法尼亚州费城：SIAM；纽约州纽约市：ACM。378-387（1995年；Zbl 0848.68029）
Dov M.加巴伊。（编辑）;C.J.霍格。（编辑）;罗宾逊，J.A。（编辑）

人工智能和逻辑编程逻辑手册。第四卷：认识论和时间推理。 （英语） Zbl 0819.03010号

牛津：克拉伦登出版社。十六、611页（1995年）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：03B45号 第68页第27页 2006年3月 68-06 03B60号 68-00 03-00 00B15号机组 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第四卷：认识论和时间推理。牛津：克拉伦登出版社（1995；Zbl 0819.03010）
德斯瓦特，H.C.M。

逻辑：数学、语言、计算机科学和哲学。第2卷：逻辑与计算机科学。 （英语） 兹比尔0805.003002

法兰克福/M.：P.Lang，欧洲。威斯康星州Verlag。xii，337页（1994年）。
审核人：A.M.Coyne（阿什维尔）
MSC公司：03-01 68-01年
PDF格式BibTeX公司 XML格式引用
\textit{H.C.M.deSwart}，逻辑：数学、语言、计算机科学和哲学。第2卷：逻辑与计算机科学。法兰克福/M.：P.Lang，欧洲。维斯拉格。（1994年；兹bl 0805.003002）
维特里希，比特

具有约束的大型演绎数据库。 （英语） Zbl 0771.68045号

信息-学位论文ETH Zürich二十六、。苏黎世：维尔。d.Fachvereine和d.Schweiz。Hochschulen u.Techniken公司。苏黎世：ETH，Informatik，IX，117 p.（1991）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：第68页，共15页 68-02
PDF格式BibTeX公司 XML格式引用
\textit{B.Wüthrich}，具有约束的大型演绎数据库。苏黎世：维尔。d.Fachvereine和d.Schweiz。Hochschulen u.Techniken；苏黎世：ETH，Informatik（1991；Zbl 0771.68045）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件