2076 search results - page 319 / 416 » Functional logic overloading |
130
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...
108
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
105
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
106
click to vote
ISMVL
2002
IEEE
15 years 6 months ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
131
click to vote
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...