verisium ai-driven verification platform 文章進(jìn)入verisium ai-driven verification platform技術(shù)社區(qū)

人工智能：MIT提出不降速的云AI

　　據(jù)外媒報(bào)道，美國(guó)MIT(麻省理工學(xué)院)提出一種可以保護(hù)基于云的AI系統(tǒng)，可以在不降低速度的情況下保護(hù)云計(jì)算的AI人工智能。這種基于云的AI人工智能系統(tǒng)的安全性非常重要，特別是當(dāng)人們使用像照片或醫(yī)療記錄這樣的敏感數(shù)據(jù)時(shí)?！　∑駷橹?，使用傳統(tǒng)方法，使得加密數(shù)據(jù)可以使機(jī)器學(xué)習(xí)系統(tǒng)如此緩慢，以致于幾乎無(wú)法使用。　　然而，值得慶幸的是，美國(guó)MIT提出一種GAZELLE形式的解決方案，這項(xiàng)技術(shù)使用加密卷積神經(jīng)網(wǎng)絡(luò)且不會(huì)出現(xiàn)急劇減速。更關(guān)鍵的是將兩種現(xiàn)有技術(shù)融為一體，避免了這些方法產(chǎn)生的常見瓶頸?！　∈紫?，用戶依
關(guān)鍵字： MIT AI

微軟AI心臟病風(fēng)險(xiǎn)預(yù)測(cè)指標(biāo)面世實(shí)現(xiàn)數(shù)據(jù)可視化指日可待

　　有許多風(fēng)險(xiǎn)因素決定了人們患心臟病的風(fēng)險(xiǎn)，例如生活方式、家族史、職業(yè)、現(xiàn)有疾病等等。了解人們患心臟病的風(fēng)險(xiǎn)可以幫助他們或他們的醫(yī)生優(yōu)先考慮干預(yù)措施。近日，微軟推出了由人工智能支持的心臟病風(fēng)險(xiǎn)評(píng)分API，供大型印度醫(yī)院網(wǎng)絡(luò)Apollo使用。　　“世界范圍內(nèi)基于人工智能的模型是在幾十年前形成的，并以西方人口為基礎(chǔ)。我們的新API評(píng)分基于Apollo Hospitals共享的40萬(wàn)印度人的數(shù)據(jù)，可以輕松識(shí)別每位患者的風(fēng)險(xiǎn)水平，“微軟印度總經(jīng)理Anil Bhansali表示?！白鳛锳I領(lǐng)域的技術(shù)合作伙伴或?qū)＜遥?/li>
關(guān)鍵字：微軟 AI

AI業(yè)界，全球最大16核心GPU原理剖析

前不久，一款超級(jí)計(jì)算機(jī)的發(fā)布，讓人嘩然，人們震驚的是其擁有16顆Volta GPU所展現(xiàn)的強(qiáng)大的計(jì)算能力，16核GPU可提供高達(dá)2PFLOPS的深度學(xué)習(xí)計(jì)算能力，成為目前AI業(yè)界的最強(qiáng)者。
關(guān)鍵字： AI GPU NVLINK

協(xié)同芯片（Companion chips）：AI的明智選擇？

　　多年來(lái)，半導(dǎo)體行業(yè)一直致力于將越來(lái)越多的組件緊密的集成到單個(gè)片上系統(tǒng)中(SoC)。畢竟這對(duì)于龐大的應(yīng)用而言是非常實(shí)用的解決方案。通過優(yōu)化處理器的定位，存儲(chǔ)器和外部設(shè)備芯片廠商能夠?qū)?shù)據(jù)路徑調(diào)整到最短，從而提高功率效率并取得更高的性能，此外還能夠顯著的降低成本。通過這些方法，該行業(yè)已經(jīng)取得了巨大的成功，SoC幾乎是我們所有消費(fèi)電子產(chǎn)品的標(biāo)準(zhǔn)組件?！　I作為一種標(biāo)準(zhǔn)　　隨著更多的公司意識(shí)到利用神經(jīng)網(wǎng)絡(luò)處理各種任務(wù)(比如自然語(yǔ)言處理、圖片識(shí)別分類)的巨大潛力，引入人工智能要素的產(chǎn)品數(shù)量也在穩(wěn)步增加。與此同
關(guān)鍵字：協(xié)同芯片 AI

五年前，是什么讓李彥宏相信了AI？

退回原點(diǎn)，往往可以看到更多。在我們今天猜測(cè)AI未來(lái)的時(shí)候，這個(gè)方法或許格外有用。今天，又有哪些技術(shù)原點(diǎn)，可以幫我們透視未來(lái)呢?
關(guān)鍵字：百度 AI

科大訊飛：85%的機(jī)器人制造商用我們的AI技術(shù)

　　“2018世界機(jī)器人大會(huì)”于8月15日至19日在北京舉行。這個(gè)大會(huì)由北京市人民政府、工業(yè)和信息化部、中國(guó)科學(xué)技術(shù)協(xié)會(huì)主辦，超過53萬(wàn)人參加，被稱為是機(jī)器人界的“奧運(yùn)會(huì)”。　　大會(huì)上，科大訊飛董事長(zhǎng)劉慶峰作了《AI賦能讓機(jī)器能聽會(huì)說(shuō)能理解會(huì)思考》的主旨演講。他認(rèn)為，人工智能的發(fā)展必須靠產(chǎn)業(yè)生態(tài)，目前已有上萬(wàn)家機(jī)器人生產(chǎn)廠商與科大訊飛合作，市場(chǎng)覆蓋率超過85%?！　⊙葜v中，劉慶峰講述了科大訊飛人工智能多項(xiàng)核心技術(shù)——語(yǔ)音合成、語(yǔ)音識(shí)別、機(jī)器翻譯、閱讀理解、常識(shí)推理在全球大賽中所獲得的重要成就，這也涵蓋了人
關(guān)鍵字：科大訊飛 AI

是盛是衰？AI企業(yè)為何迎來(lái)虧損寒潮？

　　AI智慧拍照、AI+醫(yī)療、AI智慧家電......自2017 年以來(lái)，沉睡了數(shù)年的AI再次覺醒，人工智能異?；馃帷！　〗?，一則“90%公司虧損，AI企業(yè)將迎倒閉潮?”的報(bào)道刷爆朋友圈，給火熱的人工智能(AI)創(chuàng)業(yè)浪潮潑了一盆冷水?！　I企業(yè)為何而火，又是為何而衰，AI企業(yè)又將如何應(yīng)對(duì)冰火兩重天的蝴蝶效應(yīng)?是生存還是衰危?這些問題值得深思。　　為何而火　　AlphaGo再度燃起AI導(dǎo)火索　　AI的發(fā)展可謂起起落落。自1956年人工智能的概念第一次被提出以來(lái)，已經(jīng)經(jīng)歷了超過60年的時(shí)間，期間更是經(jīng)歷了
關(guān)鍵字： AI

99000名AI人才英特爾要在印度搞大事情

　　據(jù)美國(guó)科技專業(yè)人士稱，自2017年4月以來(lái)，美國(guó)芯片制造商英特爾已在印度培訓(xùn)了多達(dá)99000名人工智能(AI)的開發(fā)人員，學(xué)生和教授，而其計(jì)劃的第一年目標(biāo)僅為15000人?！　∮⑻貭栍《扰c大學(xué)、政府和私營(yíng)部門合作，建立一支訓(xùn)練有素的人工智能勞動(dòng)力。據(jù)英特爾印度公司首席執(zhí)行官Prakash Mallya稱，英特爾已經(jīng)在印度培訓(xùn)了超過99，000名開發(fā)人員，學(xué)生和教師，他們來(lái)自100多個(gè)不同的組織。　　為培養(yǎng)這些人才，英特爾與德里，孟買，Kharagpur，坎普爾，欽奈的IIT，以及班加羅爾，海德拉巴，B
關(guān)鍵字：英特爾 AI 芯片

第二屆中國(guó)虛擬現(xiàn)實(shí)創(chuàng)新創(chuàng)業(yè)大賽啟動(dòng)

8月20日，在中國(guó)創(chuàng)新創(chuàng)業(yè)大賽組委會(huì)辦公室指導(dǎo)下，由虛擬現(xiàn)實(shí)產(chǎn)業(yè)聯(lián)盟、國(guó)科創(chuàng)新創(chuàng)業(yè)投資有限公司共同舉辦的第二屆中國(guó)虛擬現(xiàn)實(shí)創(chuàng)新創(chuàng)業(yè)大賽（以下簡(jiǎn)稱：大賽）啟動(dòng)新聞發(fā)布會(huì)在北京舉行。
關(guān)鍵字： VR AI 創(chuàng)新創(chuàng)業(yè)比賽

解密：谷歌Android Pie中的AI是如何工作的？

　　早前，谷歌推出了最新版的移動(dòng)操作系統(tǒng)Android Pie。 Smart Linkify是其中最輕松的功能之一，可在文本中檢測(cè)到地址，電話號(hào)碼和其他此類實(shí)體時(shí)添加可點(diǎn)擊鏈接。這一切都是人工智能的結(jié)果。　　據(jù)VentureBeat消息，Google AI的軟件工程師Lukas Zilka在一篇博客中解釋了人工智能在這個(gè)功能中是如何工作的。　　Zilka認(rèn)為，在文本中尋找電話號(hào)碼和郵政地址是一個(gè)難題，不僅是因?yàn)槿藗儽磉_(dá)的形式是多變的，而且所代表什么類型的實(shí)體也常常是不明確的。而Smart Linkify就
關(guān)鍵字：谷歌 Android AI

谷歌欲“重返中國(guó)”！百度AI能招架得住嗎？

　　近日，谷歌將要重返中國(guó)市場(chǎng)的消息在圈內(nèi)傳得沸沸揚(yáng)揚(yáng)，連官媒人民日?qǐng)?bào)海外版都發(fā)推特稱，“歡迎谷歌重返中國(guó)大陸，但前提必須遵守中國(guó)法律法規(guī)”。作為與谷歌對(duì)標(biāo)的國(guó)內(nèi)搜索引擎兼AI科技巨頭百度的創(chuàng)始人，李彥宏也抓緊時(shí)間蹭了一波熱點(diǎn)，并放出豪言稱百度有實(shí)力和信心與谷歌再PK一次并再贏一次。誠(chéng)然，如今的百度已不是八年前的百度，現(xiàn)在的谷歌也不再是過去的谷歌，互聯(lián)網(wǎng)“戰(zhàn)國(guó)雙雄”之間的競(jìng)爭(zhēng)早已從搜索引擎領(lǐng)域燃燒到了AI戰(zhàn)場(chǎng)。雖然明面上谷歌是否會(huì)高調(diào)回歸中國(guó)市場(chǎng)尚未可知，但不可否認(rèn)的是，谷歌如今正以各種其他的方式悄悄潛入
關(guān)鍵字：百度 AI

西部世界成為現(xiàn)實(shí)？你相信有一天人類會(huì)被AI復(fù)制嗎

　　西部世界本質(zhì)上是一個(gè)超級(jí)富豪的主題公園，他們?cè)谝粋€(gè)充滿“人”的狂野世界中生活出他們最深的幻想，他們可以對(duì)那些“人”做任何他們想做的。 “人”實(shí)際上是人類復(fù)制品，在實(shí)驗(yàn)室中制作，具有復(fù)雜的人工智能大腦和角色設(shè)定。這些復(fù)制品非常人性化，很難或不可能從AI中分辨出誰(shuí)是真實(shí)的。我們唯一的線索是合成人必須服從他們的代碼，即永遠(yuǎn)不會(huì)傷害客人?！　』氐浆F(xiàn)實(shí)，距離復(fù)制人類的AI產(chǎn)生還有多遠(yuǎn)?　　自然語(yǔ)言處理　　數(shù)學(xué)和科學(xué)以簡(jiǎn)單而相對(duì)微小的方程式描述世界上最復(fù)雜的事物，這是一種非常美妙的方式。我們對(duì)科學(xué)的理解還很淺薄，
關(guān)鍵字： AI

“中國(guó)式”乳腺癌高發(fā)期提前了10年，AI能否成為解決的助力？

　　中山大學(xué)孫逸仙紀(jì)念醫(yī)院的乳腺科專家劉強(qiáng)至今為一個(gè)二胎母親的病例感到痛心。因?yàn)檫@位母親“非常堅(jiān)強(qiáng)”，一再向他表達(dá)，“只希望病情能堅(jiān)持到(剛出生的)孩子開口說(shuō)話，能聽孩子叫一句媽媽”。這一聲“媽媽”最終失約了?！　Z走她生命的是中國(guó)女性如今面臨的第一大健康殺手——乳腺癌?！　　疤蓱z了”，劉強(qiáng)說(shuō)，“因?yàn)樗窃衅诨忌系娜橄侔衅谌橄侔盒猿潭纫话闶潜容^高的。癌細(xì)胞在孩子出生時(shí)已經(jīng)腦轉(zhuǎn)移，而腦轉(zhuǎn)移患者平均生存時(shí)間只有一年?！薄　∈聦?shí)上，在癌癥當(dāng)中，乳腺癌的研究在全世界是最前沿的。以美國(guó)為例，在高研發(fā)投入和高
關(guān)鍵字： AI

商湯科技聯(lián)袂瑞芯微瞄準(zhǔn)AI人臉識(shí)別芯片

　　8月15日消息，商湯科技與Rockchip瑞芯微日前達(dá)成戰(zhàn)略合作，將聯(lián)手打造集成AI算法與芯片的人臉識(shí)別一站式解決方案?！　×硗猓虦四樧R(shí)別SDK將在瑞芯微旗下芯片平臺(tái)實(shí)現(xiàn)全線預(yù)裝，首批預(yù)裝芯片包括瑞芯微RK3399Pro、RK3399、RK3288三個(gè)平臺(tái)。這是商湯科技在人臉識(shí)別領(lǐng)域場(chǎng)景化、商用化落地的又一重要舉措。　　據(jù)介紹，在此次合作中整合了商湯人臉識(shí)別SDK的瑞芯微硬件芯片平臺(tái)，將呈現(xiàn)兩個(gè)優(yōu)勢(shì)：一方面，在硬件與軟件整體優(yōu)化驅(qū)動(dòng)下，平臺(tái)性能與穩(wěn)定性將獲提升;另一方面，可提供一站式的解決方案，將
關(guān)鍵字：商湯科技 AI 人臉識(shí)別芯片

讓你的耳朵懷孕斯坦福開發(fā)AI聲音系統(tǒng)

　　有沒有想過，有那么一天機(jī)器人的聲音和你的一模一樣，會(huì)不會(huì)感覺到非常的驚慌，這并不是危言聳聽，這是AI技術(shù)中的語(yǔ)音合成技術(shù)在搗鬼。語(yǔ)音合成與聲音合成都有三個(gè)步驟，分別依賴于文本與韻律分析模型、聲學(xué)模型與聲碼器。　　前段時(shí)間，斯坦福的研究人員開發(fā)一項(xiàng)全息聲音合成系統(tǒng)，它可以通過計(jì)算快速移動(dòng)和振動(dòng)表面，然后所產(chǎn)生的壓力波，可以全方面自動(dòng)為計(jì)算機(jī)動(dòng)畫渲染逼真的聲音。應(yīng)該說(shuō)這是一種新系統(tǒng)，可以自動(dòng)為各種動(dòng)畫現(xiàn)象提供準(zhǔn)確的聲音。　　據(jù)斯坦福一位詹姆斯教授說(shuō)道，計(jì)算為人類模擬現(xiàn)實(shí)的過程中存在一個(gè)圣杯。當(dāng)我們用物理和
關(guān)鍵字： AI

共2501條 122/167 |‹ « 120 121 122 123 124 125 126 127 128 129 » ›|

verisium ai-driven verification platform介紹

您好，目前還沒有人創(chuàng)建詞條verisium ai-driven verification platform!
歡迎您創(chuàng)建該詞條，闡述對(duì)verisium ai-driven verification platform的理解，并與今后在此搜索verisium ai-driven verification platform的朋友們分享。創(chuàng)建詞條