5387 search results - page 358 / 1078 » Generating generic functions |
197
click to vote
AISC
2004
Springer
16 years 4 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
161
click to vote
DIS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the most exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, i...
192
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
196
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
: This paper addresses some classical problems to integrate data sources that are heterogeneous in structure with possibly redundant data along a real world example integrating thr...
147
click to vote
ITS
2004
Springer
16 years 2 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...