Phonophobia
发表于 2025-3-26 23:35:14
Semantic Alliance : A Framework for Semantic Allieservices and interactions based on a background ontology. On the one hand, our . framework follows an invasive approach: Users can profit from semantic technology without having to leave their accustomed workflows and tools. On the other hand, . offers a largely application-independent way of extendi
抒情短诗
发表于 2025-3-27 04:02:42
http://reply.papertrans.cn/47/4695/469424/469424_32.png
泰然自若
发表于 2025-3-27 07:52:04
A Streaming Digital Ink Framework for Multi-party Collaborationthe same room or across the planet, with a shared whiteboard and voice channel. The digital ink stream is transmitted as InkML, allowing special recognizers for different content types, such as mathematics and diagrams. Sessions may be recorded and stored for later playback, analysis or annotation.
蛰伏
发表于 2025-3-27 10:14:05
Cost-Effective Integration of MKM Semantic Services into Editing Environmentsntegrate MKM services into editing environments are done on an individual basis which results in high creation and maintenance costs..In this paper, I propose an architecture which allows editing environments and MKM services to be integrated in a more efficient way. This is accomplished by integrat
机制
发表于 2025-3-27 15:03:13
http://reply.papertrans.cn/47/4695/469424/469424_35.png
模仿
发表于 2025-3-27 18:12:13
http://reply.papertrans.cn/47/4695/469424/469424_36.png
Popcorn
发表于 2025-3-28 01:31:39
A Query Language for Formal Mathematical Librariescs that has been formalized, the amount exceeds the comprehension of an individual human..Based on the generic representation language MMT, we introduce the mathematical query language QMT: It combines simplicity, expressivity, and scalability while avoiding a commitment to a particular logical form
occurrence
发表于 2025-3-28 04:47:14
http://reply.papertrans.cn/47/4695/469424/469424_38.png
友好
发表于 2025-3-28 06:59:10
http://reply.papertrans.cn/47/4695/469424/469424_39.png
nullify
发表于 2025-3-28 10:38:19
An Essence of SSReflectr. However, although it constructs proofs in a formal system, like most other proof languages the semantics is informal making it difficult to reason about such proof scripts. We give a semantics to a subset of the language, using a hierarchical notion of proof tree, and show some simple transformat