검색어 : 통합검색[Semantics]
총 97,194건 중 1,000건 출력
, 92/100 페이지
-
911
- Latent semantics in language models
- Brychcí n, Tomá š ; Konopí k, Miloslav; Department of Computer Science and Engineering, Faculty of Applied Sciences, University of West Bohemia, Univerzitní 8, 306 14 Plzeň , Czech Republic; Department of Computer Science and Engineering, Faculty of Applied Sciences, University of West Bohemia, Univerzitní 8, 306 14 Plzeň , Czech Republic; (Computer speech & language, v.33, 2015, pp.88-108)
-
912
- Topological semantics of conservativity and interpretability logics
- Iwata, Sohei; Kurahashi, Taishi; Graduate School of System Informatics, Kobe University , 1-1 Rokkodai, Nada, Kobe 657-8501, Japan; Graduate School of System Informatics, Kobe University , 1-1 Rokkodai, Nada, Kobe 657-8501, Japan; (Journal of logic and computation, v.31, 2021, pp.1716-1739)
-
913
- A Proof Theoretic Approach to Operational Semantics
- Miller, Dale; ; (Electronic Notes in Theoretical Computer Science, v.162, 2006, pp.243-247)
-
914
- Comparing three semantics for Linda-like languages
- Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi; Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7, I-40127 Bologna, Italy; Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7, I-40127 Bologna, Italy; Correspoding author; (Theoretical computer science, v.240, 2000, pp.49-90)
-
915
- Structural operational semantics for AKL
- Haridi, S.; Janson, S.; Palamidessi, C.; Swedish Institute of Computer Science, Box 1263, S-164 28 ,, Kista, Sweden; (Future generation computer systems : FGCS, v.8, 1992, pp.409-421)
-
916
- Fully abstract trace semantics for protected module architectures
- Patrignani, M.; Clarke, D.; ; (Computer languages, systems & structures, v.42, 2015, pp.22-45)
-
917
- Difunctorial Semantics of Object Calculus
- Glimming, Johan; ; (Electronic Notes in Theoretical Computer Science, v.138, 2005, pp.79-94)
-
918
- Semantics and Thermodynamics
- Crutchfield, J. P.; ; (SANTA FE INSTITUTE STUDIES IN THE SCIENCES OF COMPLEXITY -PROCEEDINGS VOLUME-, v.1992, 1992, pp.317)
-
919
- Program Semantics-based Task Decomposition
- Wang, Zhiming; ; (Journal of physics. Conference series, v.1684, 2020, pp.012051)
-
920
- Imperative programs as proofs via game semantics
- Churchill, M.; Laird, J.; McCusker, G.; ; (Annals of pure and applied logic, v.164, 2013, pp.1038-1078)
QUICK MENU
