Democratization of Formal Verification with Collective Intelligence

被引：0

作者：

Hanna, Ziyad ^{[1
]}

机构：

[1] Cadence Design Syst, San Jose, CA 95134 USA

来源：

PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015) | 2015年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：5 / 5

页数：1

共 50 条

[1] Formal interpretation and analysis of collective intelligence as individual intelligence
Bosse, Tibor
Treur, Jan
[J]. MULTI-AGENT-BASED SIMULATION VI, 2006, 3891 : 58 - 74
[2] Application of constraints to formal verification and artificial intelligence
Velev, Miroslav N.
Franco, John
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2014, 70 (04) : 313 - 314
[3] Application of constraints to formal verification and artificial intelligence
Miroslav N. Velev
John Franco
[J]. Annals of Mathematics and Artificial Intelligence, 2014, 70 : 313 - 314
[4] PUBLIC POLICIES ON INFORMATION AND COLLECTIVE INTELLIGENCE: the challenges and possibilities for the democratization of information
Franco, Angela Haien Clam
Carvalho, Angela Maria Grossi
Amorim da Costa Santos, Placida Leopoldina Ventura
[J]. INFORMACAO & SOCIEDADE-ESTUDOS, 2019, 29 (01) : 67 - 82
[5] Theory of Collective Intelligence provides formal relations between intelligence, life, and evolution
Szuba, T
Szpyrka, M
[J]. INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2004, : 151 - 160
[6] Democratization of intelligence
Whitaker, Reg
[J]. INTELLIGENCE AND NATIONAL SECURITY, 2019, 34 (05) : 771 - 774
[7] Democratization of Intelligence
Shaffer, Ryan
[J]. HISTORY, 2017, 102 (352) : 720 - 721
[8] Universal formal model of collective intelligence and its IQ measure
Szuba, T
[J]. FROM THEORY TO PRACTICE IN MULTI-AGENT SYSTEMS, 2002, 2296 : 303 - 312
[9] A formal definition of the phenomenon of collective intelligence and its IQ measure
Szuba, T
[J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 17 (04): : 489 - 500
[10] Comparing the Democratization of Intelligence
Andregg, Michael M.
Gill, Peter
[J]. INTELLIGENCE AND NATIONAL SECURITY, 2014, 29 (04) : 487 - 497

← 1 2 3 4 5 →