semantics

    4熱度

    1回答

    我相信我很好地理解等遞歸類型和iso-recursive類型。因此,我一直試圖在PLT Redex中爲等值遞歸類型實現ISWIM的類型檢查器。但是,對於我的生活,我無法弄清楚如何進行類型對等的工作。其他一切都很好。 這是我的語言: (define-language iswim [X ::= variable-not-otherwise-mentioned] [b ::= num

    0熱度

    1回答

    我正在對1000個文檔執行語義分析。我想每個文件的前5名比賽。這裏是我正在使用的查詢; DECLARE @FTE hierarchyid SELECT @FTE = path_locator from dbo.LatinBooks Select top (5) e.name ,d.name as MatchedFTE ,KEY_TBL.score FROM SEMANTIC

    1熱度

    1回答

    當你在閱讀博客文章時,在幾乎所有的博客上,都有一個帶有類似文章,最新評論等的「邊欄」。在我要實現的佈局中,我已經有100%寬的文章頭像(有照片和預告片)。在那之後,我得到了文章正文,描述了側邊欄,之後,我又獲得了(再次100%寬度)作者信息和評論。 在這種情況下,我無法用主標籤中的「邊欄」轉義。小例子: <article> <!-- ARTICLE HEADER --> <h

    0熱度

    1回答

    我想使用NLP(自然語言處理)在主題列表上執行SEMANTIC關鍵字搜索。如果您發佈任何參考鏈接或想法,這將是非常可觀的。

    -1熱度

    1回答

    要遵循如何編譯並運行Hermit Reasoner,我下載了文件(Hermit.zip)並下載了Demo.java的源代碼並將其放入我的文件夾中。當我嘗試在隱士網站上按照此指示時,出現此錯誤。 javac -cp HermiT.jar Demo.java javac -cp .;Hermit.jar Demo error: Class names, 'Demo', are only accept

    0熱度

    1回答

    我正在嘗試將英語語句轉換爲SQL查詢。 例如去年創造了多少產品? 這應該得到轉化爲 select count(*) from products where manufacturing date between 1/1/2015 and 31/12/2015 我無法理解如何映射「創建」我的表爲「生產日期」的屬性動詞。我正在使用斯坦福核心nlp套件來解析我的陳述。我也在使用帶有JWI框架的wordne

    0熱度

    1回答

    現在我有一個RDF數據,其中包含兩個資源(我不知道在rdf中調用員工是否正確:描述一個資源),現在我想將這兩個資源分離成兩個在耶拿的rdf數據,我不知道如何使用API​​來做到這一點,作爲數據例: <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obs="http://localhost/Sensor

    1熱度

    1回答

    我在這個問題上看到了很多問題,但我仍然無法弄清楚以下是語義還是邏輯錯誤。 說我有下面的Java代碼: boolean a = false; if (a = false) System.out.println("yes"); else System.out.println("no"); 你可能已經看到我大概想寫下來==代替=,而是:在程序編譯就好了,並沒有錯誤運行。但是,它確實沒有給我預期的

    0熱度

    1回答

    我已經遇到過這麼多次,總是用CSS和JS的組合來解決它,但隨着對響應圖像的支持越來越多,我一直在尋找更有說服力的解決方案。我只是試圖而不是加載移動圖像,同時保留語義(所以沒有CSS background-image),利用瀏覽器預加載(所以沒有JS懶惰加載)。 我該如何做到這一點?

    0熱度

    1回答

    我正在爲Python編寫一些正式的語義。希望有些Python大師能幫助我。隨着程序執行向下移動到語句列表中,它遇到的每個賦值語句(或表達式)都會根據上下文來推斷類型。但是它會在某處存儲此類型(所以下次遇到它時可以檢查存儲和檢查類型),還是執行操作,然後丟棄類型,然後在下一次遇到變量時再次推斷類型? 這是Python 3 + btw (希望我已經明確)