1636 search results - page 43 / 328 » Type-Theoretic Functional Semantics |
AI
2002
Springer
14 years 11 months ago
2002
Springer
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
SIGMOD
2002
ACM
14 years 11 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
BMCBI
2010
14 years 12 months ago
2010
Background: Semantic similarity scores for protein pairs are widely applied in functional genomic researches for finding functional clusters of proteins, predicting protein functi...
100
click to vote
JFP
2006
14 years 12 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...