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

蘋果收購(gòu)AI初創(chuàng)公司Voysis以改善Siri功能

據(jù)彭博社報(bào)道，蘋果收購(gòu)了人工智能初創(chuàng)公司Voysis，目的是改善Siri與人類溝通時(shí)的的工作表現(xiàn)。Voysis提供了一個(gè)平臺(tái)，讓數(shù)字語(yǔ)音助手能夠更好地理解自然語(yǔ)言。該公司曾致力于改進(jìn)在線購(gòu)物應(yīng)用中的語(yǔ)音助手，讓軟件能夠更好地解讀用戶的請(qǐng)求。
關(guān)鍵字：蘋果 Voysis Siri AI

華為Atlas 900 AI集群榮獲2020年紅點(diǎn)獎(jiǎng)

華為Atlas 900 AI集群經(jīng)評(píng)審委員會(huì)多項(xiàng)嚴(yán)格評(píng)審,憑借創(chuàng)新的整體式架構(gòu)和高品質(zhì)設(shè)計(jì),從上萬(wàn)件評(píng)選產(chǎn)品中脫穎而出,榮獲2020年紅點(diǎn)設(shè)計(jì)大獎(jiǎng)。這是Atlas人工智能計(jì)算平臺(tái)繼Atlas 300、Atlas 500以來(lái),第三個(gè)獲得該獎(jiǎng)的產(chǎn)品,這既是業(yè)界對(duì)產(chǎn)品工業(yè)設(shè)計(jì)和整機(jī)工程競(jìng)爭(zhēng)力的肯定,更是產(chǎn)品綜合競(jìng)爭(zhēng)力的體現(xiàn)。Atlas 900 AI集群通過最佳集群網(wǎng)絡(luò)、模塊化部署、極致散熱系統(tǒng)、整體式形象、性能感特征、延展性設(shè)計(jì)、人性化細(xì)節(jié)等7個(gè)方面的設(shè)計(jì),獲本次評(píng)委一致認(rèn)可:最佳集群網(wǎng)絡(luò):Atlas 900
關(guān)鍵字：華為 Atlas 900 AI

秦始皇帝陵等博物院上線AI防疫系統(tǒng)

疫情當(dāng)前，商湯科技持續(xù)以AI·愛抗疫，并取得了豐碩成果。以商湯星云系列產(chǎn)品為核心的AI智慧防疫解決方案，已在全球各地機(jī)場(chǎng)、地鐵、車站、景區(qū)、辦公樓宇、小區(qū)、學(xué)校等各類場(chǎng)景的數(shù)百個(gè)場(chǎng)所落地。
關(guān)鍵字：商湯科技 AI 秦始皇帝陵

中美合作開發(fā)AI工具，可預(yù)測(cè)新冠患者是否會(huì)加重

據(jù)悉，中美兩國(guó)研究人員合作，開發(fā)出一種實(shí)驗(yàn)性AI工具，可以準(zhǔn)確預(yù)測(cè)哪些新冠肺炎（COVID-19）患者的病情會(huì)發(fā)展成嚴(yán)重的呼吸系統(tǒng)疾病。研究人員稱，作為病情預(yù)測(cè)的新工具，他們的成果有望為醫(yī)生提供有力輔助。相關(guān)論文在線發(fā)表于30日的《計(jì)算機(jī)、材料及連續(xù)介質(zhì)》期刊上。
關(guān)鍵字：中美 AI 病情

小小盒子有大愛·AI，深圳機(jī)場(chǎng)再現(xiàn)防疫“黑科技”

近日，深圳機(jī)場(chǎng)航站樓再現(xiàn)“黑科技”，通過SenseNebula商湯星云M系列智能邊緣節(jié)點(diǎn)接口定制開發(fā)，對(duì)深圳機(jī)場(chǎng)航站樓智慧航顯終端設(shè)備進(jìn)行功能升級(jí)，可幫助旅客在疫情期間佩戴口罩時(shí)，實(shí)現(xiàn)“無(wú)接觸式”高效獲取航班信息，順利登機(jī)。AI有效幫助減少人群聚集，也降低了交叉感染風(fēng)險(xiǎn)。
關(guān)鍵字： AI “黑科技” 深圳機(jī)場(chǎng)

AI協(xié)作的設(shè)計(jì)模式

高煥堂? （臺(tái)灣銘傳大學(xué)、長(zhǎng)庚大學(xué)?教授）摘? 要：從人機(jī)共舞的角度去思考和設(shè)計(jì)AI系統(tǒng)是一條鳥語(yǔ)花香之路。于此，舉一個(gè)簡(jiǎn)單的協(xié)同合作的范例，包含一位AI丫環(huán)和一位AI格格，兩者來(lái)協(xié)助人們?nèi)ヌ剿骱吞暨x工作機(jī)會(huì)。換句話說(shuō)，這個(gè)AI項(xiàng)目體現(xiàn)了人類、 AI格格和AI丫環(huán)之間的智慧協(xié)同[1-3]。?關(guān)鍵詞：AI；協(xié)作模式；人機(jī)共舞1 協(xié)作模式：以求職AI為例?由于AI是有智慧的，把AI模組擬人化，把它視為一個(gè)人，會(huì)聰明地相互協(xié)同合作。于是，我們可以發(fā)現(xiàn)許多AI或人扮演的不同角色之間，有其
關(guān)鍵字： 202004 AI 協(xié)作模式人機(jī)共舞

關(guān)鍵任務(wù)型物聯(lián)網(wǎng)需要怎樣的嵌入式操作系統(tǒng)

　　Matt?Jones?（風(fēng)河首席系統(tǒng)架構(gòu)師）　　1 關(guān)鍵任務(wù)系統(tǒng)的聯(lián)網(wǎng)挑戰(zhàn)　　人工智能(AI)是一個(gè)相對(duì)較新的術(shù)語(yǔ)，而風(fēng)河在相關(guān)領(lǐng)域的發(fā)展已有悠久的歷史。如果我們回想AI在互聯(lián)設(shè)備中的最初應(yīng)用，就會(huì)發(fā)現(xiàn)其中有許多情況是為原本由人工控制的系統(tǒng)增添自動(dòng)自治性。例如先進(jìn)的自動(dòng)駕駛無(wú)人機(jī)，車輛中的自動(dòng)駕駛員輔助功能，甚至自動(dòng)化工廠里的機(jī)器人。這些自動(dòng)自治系統(tǒng)依然還是會(huì)與人類協(xié)同工作，因此這對(duì)于操作人員是否安全就至關(guān)重要。同時(shí)，這些設(shè)備和系統(tǒng)相互連接，其中也存在相關(guān)的安全風(fēng)險(xiǎn)。重要的是應(yīng)該注意到，您或許可以不對(duì)
關(guān)鍵字： 202004 人工智能 AI 風(fēng)河

FPGA及IP在邊緣智能中的機(jī)會(huì)

　　Bob?Siller?（Achronix公司?產(chǎn)品營(yíng)銷總監(jiān)）　　1 FPGA助力智能物聯(lián)網(wǎng)　　多種AI應(yīng)用需要不斷加速，包括：視頻、圖像和語(yǔ)音識(shí)別；數(shù)據(jù)壓縮；加密與解密；自然語(yǔ)言處理；工業(yè)物聯(lián)網(wǎng)；汽車駕駛員輔助系統(tǒng)；低延遲邊緣推理；智能網(wǎng)卡和服務(wù)器加速?！　≡谶@些應(yīng)用中，我們看到對(duì)性能的需求日益增長(zhǎng)，從而產(chǎn)生了許多全新的、創(chuàng)新的系統(tǒng)架構(gòu)。業(yè)界對(duì)硬件加速平臺(tái)的需求不斷增加，以釋放CPU周期，從而提供更好的系統(tǒng)總體擁有成本。微軟、谷歌、亞馬遜、蘋果和特斯拉等終端設(shè)備制造商已開始為其特定的AI應(yīng)用工作負(fù)載開
關(guān)鍵字： 202004 FPGA 智能物聯(lián)網(wǎng) AI

華為發(fā)布計(jì)算視覺研究計(jì)劃助力AI開發(fā)者

在華為開發(fā)者大會(huì)2020（Cloud）上，華為分享了在計(jì)算視覺領(lǐng)域的基礎(chǔ)研究成果。同時(shí)，華為發(fā)布計(jì)算視覺研究計(jì)劃，并邀請(qǐng)全球AI專家參與研究。
關(guān)鍵字：華為計(jì)算視覺 AI

多級(jí)存儲(chǔ)器與模擬內(nèi)存內(nèi)計(jì)算完美融合，人工智能邊緣處理難題迎刃而解

機(jī)器學(xué)習(xí)和深度學(xué)習(xí)已成為我們生活中不可或缺的部分。利用自然語(yǔ)言處理（NLP）、圖像分類和物體檢測(cè)實(shí)現(xiàn)的人工智能（AI）應(yīng)用已深度嵌入到我們使用的眾多設(shè)備中。大多數(shù)AI應(yīng)用通過云引擎即可出色地滿足其用途，例如在Gmail中回復(fù)電子郵件時(shí)可以獲得詞匯預(yù)測(cè)。雖然我們可以享受到這些AI應(yīng)用帶來(lái)的益處，但這種方法導(dǎo)致隱私、功耗、延時(shí)和成本等諸多因素面臨挑戰(zhàn)。如果有一個(gè)能夠在數(shù)據(jù)來(lái)源處執(zhí)行部分或全部計(jì)算（推斷）的本地處理引擎，那么這些問題即可迎刃而解。傳統(tǒng)數(shù)字神經(jīng)網(wǎng)絡(luò)的存儲(chǔ)器功耗存在瓶頸，難以實(shí)現(xiàn)這一目標(biāo)。為了解決這
關(guān)鍵字： AI NLP

曠視開源落子天元

一直以來(lái)，AI 的生產(chǎn)力被高昂的算力成本、人才成本所掣肘，AI 技術(shù)往往成為眾多企業(yè)的成本中心而非價(jià)值中心。先進(jìn)技術(shù)如何能真正帶動(dòng)傳統(tǒng)產(chǎn)業(yè)發(fā)展，提高 AI 生產(chǎn)力的解在哪里？
關(guān)鍵字：曠視 AI Brain++ 平臺(tái)

?Darwin AI：用AI改進(jìn)AI ，使AI應(yīng)用更高效、更透明

在滑鐵盧大學(xué)攻讀系統(tǒng)設(shè)計(jì)工程博士學(xué)位期間，Alexander Wong沒有足夠的資金購(gòu)買其計(jì)算機(jī)視覺實(shí)驗(yàn)所需的硬件。因此，他發(fā)明了一項(xiàng)使神經(jīng)網(wǎng)絡(luò)模型更小、速度更快的技術(shù)。Sheldon Fernandez回憶道：“Alexander Wong當(dāng)時(shí)正在做項(xiàng)目演示，有人對(duì)他說(shuō)‘嘿，你的博士研究很酷，但你知道嗎，你真正的秘密武器，是你為了完成博士研究而發(fā)明的技術(shù)！’”?，F(xiàn)在，F(xiàn)ernandez和 Wong分別是?DarwinAI?的首席執(zhí)行官和首席科學(xué)家。而DarwinAI是一家位于加拿大安
關(guān)鍵字：處理器 AI

Xilinx AI 加速+阿里云 FaaS：開啟云端 AI 推斷巨大機(jī)遇

中國(guó)是全球最大的在線零售市場(chǎng)，而阿里巴巴則是中國(guó)最大的電子商務(wù)公司。作為阿里巴巴集團(tuán)旗下的云計(jì)算和數(shù)據(jù)智能部門，阿里云為國(guó)際客戶的在線業(yè)務(wù)及阿里巴巴集團(tuán)自身的電子商務(wù)生態(tài)系統(tǒng)提供綜合全面的成套全球云計(jì)算服務(wù)。在公有云服務(wù)提供商市場(chǎng)上，阿里云的市場(chǎng)份額位居亞太地區(qū)首位。阿里云的業(yè)務(wù)之一是為眾多第三方廠商處理海量產(chǎn)品圖像。由于一些圖像內(nèi)含有未付費(fèi)廣告等多余文本信息，給付費(fèi)廣告業(yè)務(wù)造成不利影響，因此，為了確保電子商務(wù)網(wǎng)站提供一致的體驗(yàn)，需要以 AI 推斷對(duì)每天數(shù)千萬(wàn)幅圖像中嵌入的有害文本或多余文本進(jìn)行檢測(cè)，隨之
關(guān)鍵字： AI 阿里云

新思科技發(fā)布業(yè)界首個(gè)AI自主芯片設(shè)計(jì)解決方案DSO.ai

新思科技近日推出業(yè)界首個(gè)用于芯片設(shè)計(jì)的自主人工智能應(yīng)用程序——DSO.aiTM(Design Space Optimization AI)，這是電子設(shè)計(jì)技術(shù)上所取得的重大突破。DSO.aiTM解決方案的創(chuàng)新靈感來(lái)源于DeepMind的AlphaZero，使得AI在圍棋、象棋領(lǐng)域遠(yuǎn)超人類。作為一款人工智能和推理引擎，DSO.ai能夠在芯片設(shè)計(jì)的巨大求解空間里搜索優(yōu)化目標(biāo)。該解決方案大規(guī)模擴(kuò)展了對(duì)芯片設(shè)計(jì)流程選項(xiàng)的探索，能夠自主執(zhí)行次要決策，幫助芯片設(shè)計(jì)團(tuán)隊(duì)以專家級(jí)水平進(jìn)行操作，并大幅提高整體生產(chǎn)力，從而在芯
關(guān)鍵字：新思科技 AI自主芯片 DSO.ai

新思科技發(fā)布業(yè)界首個(gè)AI自主芯片設(shè)計(jì)解決方案DSO.ai?

重點(diǎn):DSO.ai?解決方案的創(chuàng)新靈感來(lái)源于DeepMind的AlphaZero,使得AI在圍棋、象棋領(lǐng)域遠(yuǎn)超人類。該解決方案可以在芯片設(shè)計(jì)任務(wù)的巨大求解空間中搜索優(yōu)化目標(biāo)并迅速完成設(shè)計(jì)。DSO.ai大規(guī)模擴(kuò)展了對(duì)芯片設(shè)計(jì)流程可優(yōu)化選項(xiàng)的探索,并能夠自主執(zhí)行次要決策,從而大幅提高芯片設(shè)計(jì)團(tuán)隊(duì)的生產(chǎn)力。新思合作伙伴已基于DSO.ai獲得了革命性成果,在更短的開發(fā)時(shí)間內(nèi)以更少的資源達(dá)成了目標(biāo)。新思科技(Synopsys, Inc.,納斯達(dá)克股票代碼:SNPS)近日推出業(yè)界首個(gè)用于芯片設(shè)計(jì)的自主人工智能應(yīng)用程序
關(guān)鍵字：新思 AI

共2501條 81/167 |‹ « 79 80 81 82 83 84 85 86 87 88 » ›|

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)建詞條