Sciweavers

867 search results - page 34 / 174
» On Two Forms of Structural Recursion
Sort
View
TCOS
2008
15 years 5 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang
ECOOP
1998
Springer
15 years 10 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
IICAI
2007
15 years 7 months ago
Extraction and Translation of Multi-Word Number Expressions
Abstract. This paper describes a tool for extracting multi-word number expressions, calculating their numerical values, and then generating them into another language, thus transla...
Anil Kumar Singh
ESORICS
2009
Springer
16 years 6 months ago
Attribute-Sets: A Practically Motivated Enhancement to Attribute-Based Encryption
In distributed systems users need to share sensitive objects with others based on the recipients' ability to satisfy a policy. Attribute-Based Encryption (ABE) is a new parad...
Rakeshbabu Bobba, Himanshu Khurana, Manoj Prabhaka...
SAC
2002
ACM
15 years 5 months ago
The P-tree algebra
The Peano Count Tree (P-tree) is a quadrant-based lossless tree representation of the original spatial data. The idea of P-tree is to recursively divide the entire spatial data, s...
Qin Ding, Maleq Khan, Amalendu Roy, William Perriz...