270 search results - page 21 / 54 » A Simple and General Theoretical Account for Abstract Types |
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Some of the established approaches to evaluating text clustering algorithms for information retrieval show theoretical flaws. In this paper, we analyze these flaws an...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- This paper introduces a novel concept from coalitional game theory which allows the dynamic formation of coalitions among wireless nodes. A simple and distributed merge ...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— A novel approach named recursive evidence filtering for information processing in Distributed Sensor Networks (DSNs) is presented. It is based on the Dempster-Shafer (...
JAR
2010
13 years 6 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...