1636 search results - page 54 / 328 » Type-Theoretic Functional Semantics |
134
Voted
VVEIS
2008
15 years 4 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
129
click to vote
ISCI
2007
15 years 3 months ago
2007
Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribut...
124
click to vote
JDWM
2007
15 years 3 months ago
2007
Nowadays, multi-label classification methods are increasingly required by modern applications, such as protein function classification, music categorization and semantic scene cla...
154
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
195
click to vote
DEXAW
2010
IEEE
15 years 4 months ago
2010
IEEE
-- This paper proposes to enhance search query log analysis by taking into account the semantic properties of query terms. We first describe a method for extracting a global semant...