1174 search results - page 147 / 235 » A Logical Approach to Abstract Algebra |
IFL
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
104
click to vote
IDC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
100
click to vote
GFKL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...