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

AI的本質(zhì)及其商業(yè)的康莊大道

　　高煥堂?（臺(tái)灣VR產(chǎn)業(yè)聯(lián)盟主席，廈門VR/AR協(xié)會(huì)榮譽(yù)會(huì)長(zhǎng)兼顧問）　　很多人會(huì)發(fā)現(xiàn)AI在某些場(chǎng)合應(yīng)用得很好，但在某些場(chǎng)合應(yīng)用得并不是很理想。像IBM公司應(yīng)用在醫(yī)療上，從30年前的AI，當(dāng)時(shí)是屬于Rule-based模型，就做了AI的醫(yī)療專家系統(tǒng)，也沒成功。最近IBM的Watson團(tuán)隊(duì)也裁員70%。所以很多人都在想這到底是怎么一回事呢?　　1 登山者-雪巴人(向?qū)?模式　　茲以珠峰登山者為例，首先我提出一個(gè)思考的問題：為什么登山者需要雪巴人(向?qū)?呢? 如果沒有向?qū)?，又?huì)怎么樣呢? 我們可以從登山者與雪
關(guān)鍵字： 201909 AI 歸納性推理

紫光展銳發(fā)布高性能AI邊緣計(jì)算平臺(tái)虎賁T710

全球領(lǐng)先的移動(dòng)通信及物聯(lián)網(wǎng)核心芯片供應(yīng)商紫光展銳今日宣布，推出業(yè)界領(lǐng)先的高性能AI邊緣計(jì)算平臺(tái)——虎賁T710，全面推進(jìn)AI在工業(yè)、商業(yè)、醫(yī)療、家居、教育等領(lǐng)域的商用，加快傳統(tǒng)產(chǎn)業(yè)智能化升級(jí)。虎賁T710采用8核CPU架構(gòu)，由4顆2.0GHz的Arm Cortex-A75及4顆1.8GHz的Arm Cortex-A55組成，搭載工作頻率800MHz 的IMG PowerVR GM 9446 圖形處理器。虎賁T710包含了 CPU、GPU、NPU、ISP、VDSP等處理單元，為各類豐富的AI應(yīng)用提供了高效能
關(guān)鍵字： AI 邊緣

現(xiàn)代機(jī)器人之父：超強(qiáng)AI只是幻想，人類應(yīng)當(dāng)順勢(shì)而為

1984年的某天，羅德尼·布魯克斯（Rodney Brooks）在泰國(guó)的家中感到炎熱、無聊、孤獨(dú)。正是在這種情形之下，他靈光乍現(xiàn)，產(chǎn)生改變機(jī)器人技術(shù)領(lǐng)域發(fā)展的靈感，并最終使Roomba掃地機(jī)器人走進(jìn)數(shù)百萬個(gè)家庭。
關(guān)鍵字：機(jī)器人 AI Allen

紫光展銳發(fā)布新一代移動(dòng)平臺(tái)虎賁T618 影像和AI能力全面升級(jí)

全球領(lǐng)先的移動(dòng)通信及物聯(lián)網(wǎng)核心芯片供應(yīng)商紫光展銳今日宣布，推出全新8核架構(gòu)的LTE移動(dòng)芯片平臺(tái)——紫光展銳虎賁T618（以下簡(jiǎn)稱虎賁T618），影像處理和AI能力全面升級(jí)，將為全球用戶提供旗艦級(jí)的終端使用體驗(yàn)。? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?虎賁T6
關(guān)鍵字：影像 AI

搜狗輸入法上線AI助手提供斗圖等服務(wù) 向智能服務(wù)轉(zhuǎn)型

近日，搜狗輸入法宣布上線新功能智能汪仔，在輸入法中引入AI助手。
關(guān)鍵字：搜狗輸入法 AI 智能服務(wù)

微軟推進(jìn)AI普及化：既有學(xué)術(shù)研討會(huì)又有混合現(xiàn)實(shí)新技術(shù)展示

從個(gè)人計(jì)算機(jī)時(shí)代開始，當(dāng)人們開始討論技術(shù)、科技時(shí)，微軟便是所有人都無法繞開的公司。進(jìn)入到人工智能時(shí)代，這家“老牌”科技公司，依然強(qiáng)大，多年的技術(shù)積累，讓其能快速地使用AI與全球產(chǎn)業(yè)趨勢(shì)結(jié)合。
關(guān)鍵字：微軟 AI 技術(shù)

有情感的AI將成群而來？距離《西部世界》已不遙遠(yuǎn)

也許不少人都有這樣一個(gè)同感，當(dāng)看到美劇《西部世界》中的機(jī)器人角色的時(shí)候會(huì)覺得很真實(shí)，會(huì)主動(dòng)為它們的境遇感同身受。而當(dāng)與身邊的一些AI語音助手互動(dòng)時(shí)，卻覺得那就是一個(gè)冷冰冰的聲音。
關(guān)鍵字： AI 《西部世界》情感

打造“3D+AI+工業(yè)機(jī)器人”解決方案，梅卡曼德機(jī)器人獲英特爾投資

梅卡曼德機(jī)器人近日宣布獲得來自英特爾的投資。據(jù)新芽數(shù)據(jù)庫，今年4月梅卡曼德曾宣布完成來自啟明創(chuàng)投的A＋輪融資。
關(guān)鍵字： 3D AI 工業(yè)機(jī)器人英特爾

Intel 發(fā)布首款商用 AI 芯片 NNP-T：采用臺(tái)積電 16nm 工藝

雷鋒網(wǎng)(公眾號(hào)：雷鋒網(wǎng))消息，2019 年 8 月 20 日，正值 Hot Chips 召開期間，Intel 公布了兩款 AI 芯片，它們分別是 Nervana NNP-T 和 Nervana NNP-I，分別用于訓(xùn)練和推理。Nervana NNP-T，代號(hào)為 Spring Crest，它是一款從頭打造的神經(jīng)網(wǎng)絡(luò)處理器，它主要用于深度學(xué)習(xí)訓(xùn)練。它采用了臺(tái)積電的 16nm FF+ 制程工藝，擁有 270 億個(gè)晶體管，硅片面積 680 平方毫米，能夠支持 TensorFlow、PaddlePaddle、PYT
關(guān)鍵字： Intel AI

從谷歌地圖與Cyberverse來看AI視頻技術(shù)

近日，谷歌地圖向所有用戶開放了AR導(dǎo)航功能。其實(shí)早在去年的I／O大會(huì)，谷歌便宣布將會(huì)在Google地圖中集成這一功能，并已在今年年初向部分Pixel用戶提供了Alpha測(cè)試版。
關(guān)鍵字：谷歌地圖 Cyberverse AI

科大訊飛結(jié)合AI大數(shù)據(jù)推進(jìn)六安智慧城市建設(shè)

日前，科大訊飛與安徽省六安市人民政府正式簽署了戰(zhàn)略合作協(xié)議。今后，雙方將在智慧教育、智慧城市、智慧醫(yī)療、智慧金融、智慧政法、科技創(chuàng)新、人才培養(yǎng)等領(lǐng)域加強(qiáng)合作。
關(guān)鍵字：科大訊飛 AI 智慧城市

未來熱門科技：AI+量子計(jì)算

我國(guó)量子計(jì)算新進(jìn)展：浙江大學(xué)、中科院物理所等國(guó)內(nèi)單位組成的團(tuán)隊(duì)通力合作，開發(fā)出具有20個(gè)超導(dǎo)量子比特的量子芯片，并成功操控其實(shí)現(xiàn)全局糾纏，刷新了......
關(guān)鍵字： AI 量子計(jì)算科技

軟硬結(jié)合的AI芯片助力自動(dòng)駕駛

?李星宇（地平線市場(chǎng)拓展與戰(zhàn)略規(guī)劃副總裁）?1?趨勢(shì)觀察地平線具有領(lǐng)先的人工智能算法和芯片設(shè)計(jì)能力，通過軟硬結(jié)合，設(shè)計(jì)開發(fā)高性能、低成本、低功耗的邊緣人工智能芯片及解決方案，開放賦能合作伙伴。在汽車領(lǐng)域，地平線關(guān)注ADAS、車內(nèi)智能交互以及高級(jí)別自動(dòng)駕駛。面對(duì)汽車數(shù)字化重塑的浪潮，從技術(shù)角度看，最大的挑戰(zhàn)來自AI邊緣計(jì)算。在過去的數(shù)年里，我們看到自動(dòng)駕駛的等級(jí)每提高一級(jí)，算力差不多要提升一個(gè)數(shù)量級(jí)。如果要實(shí)現(xiàn)全自動(dòng)駕駛，我們需要1000TOPS量級(jí)的算力，而人腦的算力大概也是
關(guān)鍵字： AI 自動(dòng)駕駛

AI垃圾桶正式投入應(yīng)用：可識(shí)別95%可回收垃圾品種

近日，一款A(yù)I垃圾桶在上海張江人工智能島上正式投入使用。據(jù)介紹，該款垃圾桶將現(xiàn)身8月29日的人工智能大會(huì)，年底前將投放2000個(gè)于市面。它利用太陽能或插電裝置運(yùn)作，可識(shí)別95%的可回收垃圾品種，還可以識(shí)別有害垃圾。AI垃圾桶在上海張江人工智能島上正式投入使用上海自7月份開始實(shí)施垃圾分類制度以來，掀起了學(xué)習(xí)垃圾分類的熱潮。但盡管如此，還是有很多人因?yàn)殄e(cuò)誤的垃圾分類而被罰款。有了AI垃圾桶，將會(huì)為垃圾分類帶來極大的方便。（本文圖片源自網(wǎng)絡(luò)）
關(guān)鍵字： AI

英偉達(dá)打破實(shí)時(shí)對(duì)話AI的訓(xùn)練和推理用時(shí)記錄

據(jù)國(guó)外媒體報(bào)道，Nvidia用于開發(fā)和運(yùn)行可理解和響應(yīng)請(qǐng)求的對(duì)話式AI的GPU強(qiáng)化平臺(tái)，已經(jīng)達(dá)成了一些重要的里程碑，并打破了一些記錄。
關(guān)鍵字：英偉達(dá) AI 實(shí)時(shí)對(duì)話

共2682條 104/179 |‹ « 102 103 104 105 106 107 108 109 110 111 » ›|

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