4498 search results - page 200 / 900 » How to Invent Functions |
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
129
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
163
click to vote
DCC
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...
125
Voted
WISE
2009
Springer
15 years 11 months ago
2009
Springer
The emergence of new media technologies in combination with enhanced information sharing functionality offered by the Web provides new possibilities for cross-media annotations. T...
110
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...