1636 search results - page 297 / 328 » Type-Theoretic Functional Semantics |
138
click to vote
IDT
2010
15 years 13 days 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...
104
click to vote
IFM
2010
Springer
15 years 13 days 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...
125
click to vote
IPMU
2010
Springer
15 years 12 days 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 ...
109
click to vote
PVLDB
2010
15 years 10 days 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...
140
click to vote
FSTTCS
2010
Springer
14 years 12 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...