1636 search results - page 231 / 328 » Type-Theoretic Functional Semantics |
166
Voted
WOA
2007
15 years 4 months ago
2007
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...
116
Voted
GI
2008
Springer
15 years 4 months ago
2008
Springer
: Combining GPS tracks with semantic annotations is the basis for large data analysis tasks that give insight into the movement behavior of populations. In this paper, we present a...
135
Voted
DEXA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
220
Voted
BDA
2007
15 years 5 months ago
2007
In content-based retrieval, relevance feedback (RF) is a noticeable method for reducing the “semantic gap” between the low-level features describing the content and the usually...
124
Voted
APAL
2008
15 years 3 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....