نتایج جستجو برای: formal language

تعداد نتایج: 529874  

Journal: :Mathematical and Computer Modelling of Dynamical Systems 1998

Journal: :Modeling and Analysis of Information Systems 2015

Journal: :Proceedings of the ... AAAI Conference on Artificial Intelligence 2023

It is an open question what semantic representations transformer-based language models can encode and whether they have access to more abstract aspects of meaning. Here, we propose a diagnostic dataset investigate how well understand the degree semantics adjectives. In dataset, referred as Adjective Scale Probe (ASP), semi-automatically generate 8 tests Natural Language Inference (NLI) question...

Journal: :Bulletin of Belgorod State Technological University named after. V. G. Shukhov 2017

1995
John Derrick Peter F. Linington Simon J. Thompson

Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. Application of formal techniques can make the speciications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing. ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید