1636 search results - page 297 / 328 » Type-Theoretic Functional Semantics |
113
click to vote
IDT
2010
14 years 10 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
87
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
106
click to vote
IPMU
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
PVLDB
2010
14 years 10 months ago
2010
Entity linkage is central to almost every data integration and data cleaning scenario. Traditional techniques use some computed similarity among data structure to perform merges a...
115
click to vote
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...