1636 search results - page 104 / 328 » Type-Theoretic Functional Semantics |
135
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
139
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Assessing semantic similarity between text documents is a crucial aspect in Information Retrieval systems. In this work, we propose to use hyperlink information to derive a simila...
137
Voted
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
144
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
142
Voted
EUSFLAT
2007
15 years 5 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...