×

找到201份文件(结果1-100)

通过动态逻辑中的事件-条件-操作规则修复数据库。 (英语) Zbl 07630640号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

动态故障树重写规则的形式化验证。 (英语) Zbl 07817502号

Oh lveczky,Peter Csaba(编辑)等人,《软件工程和形式化方法》。第17届国际会议,SEFM 2019,挪威奥斯陆,2019年9月18日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11724, 513-531 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑推理及其动力学。 (英语) Zbl 1418.03137号

罗伊·奥利维尔(编辑)等人,《道义逻辑和规范体系》。2016年7月18日至21日,第13届国际会议,DEON 2016,德国拜勒。诉讼程序。伦敦:学院出版物。203-219 (2016).
MSC公司:03B65号 03A05号
PDF格式BibTeX公司 XML格式引用

最优动态治疗方案的结果加权学习方法。 (英语) Zbl 1397.92382号

Kosorok,Michael R.(编辑)等人,《实践中的适应性治疗策略》。为个性化药物规划试验和分析数据。宾夕法尼亚州费城:工业和应用数学学会(SIAM);弗吉尼亚州亚历山大市:美国统计协会(ASA)(ISBN 978-1-61197-417-1/hbk;978-1-611197-418-8/电子书)。ASA-SIAM统计与应用概率系列21,119-134(2016)。
MSC公司:92C50 68层37 68T05型
PDF格式BibTeX公司 XML格式引用

相对于覆盖率的精确关联规则的全局优化。 (英语) Zbl 1436.68369号

Kryszkiewicz,Marzena(编辑)等人,《模式识别与机器智能》。2015年6月30日至7月3日在波兰华沙举行的2015年PReMI第六届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9124, 428-437 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一致破产规则的动态。 (英语) 兹比尔1314.91152

Crisman,Karl-Dieter(编辑)等人,《决策、选举和游戏的数学》。AMS决策、选举和游戏数学特别会议,2012年1月4日,美国马萨诸塞州波士顿,2013年1月11-12日,美国加利福尼亚州圣地亚哥。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-9866-6/pbk;978-1-4704-1930-1/电子书)。《当代数学》624207-229(2014)。
PDF格式BibTeX公司 XML格式引用

Java系统中的设计模式检测:一种基于动态分析的方法。 (英语) Zbl 1211.68045号

Maciaszek,Leszek A.(编辑)等人,《软件工程新方法的评估》,第三届和第四届国际会议,ENASE 2008/2009年,葡萄牙马德拉岛芬查尔,2008年5月4日至7日,意大利米兰,2009年5月9日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-14818-7/pbk)。计算机和信息科学通信69,163-179(2010)。
MSC公司:68甲15 68N99型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软概念层次结构,用于总结数据流并突出异常变化。 (英语) Zbl 1198.68217号

Hüllermier,Eyke(ed.)等人,《基于知识的系统中的信息处理和不确定性管理》。应用。2010年6月28日至7月2日在德国多特蒙德举行的2010年IPMU第13届国际会议。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-642-14057-0/pbk;978-3-442-14058-7/电子书)。《计算机与信息科学通信》81,44-54(2010)。
MSC公司:68吨10 68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份