Sciweavers

403 search results - page 43 / 81
» Implementing Semantic Precision and Recall
Sort
View
SPIN
2007
Springer
15 years 6 months ago
An Embeddable Virtual Machine for State Space Generation
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
Michael Weber
102
Voted
COLING
1996
15 years 1 months ago
Anaphora Resolution of Japanese Zero Pronouns with Deictic Reference
This paper proposes a method to resolve the reference of deictic Japanese zero pronouns which can be implemented in a practical machine translation system. This method focuses on ...
Hiromi Nakaiwa, Satoshi Shirai
MMMACNS
2001
Springer
15 years 5 months ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
141
Voted
ESOP
1992
Springer
15 years 4 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
ESWS
2008
Springer
15 years 2 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...