4743 search results - page 681 / 949 » Introduction to Functional Programming |
187
click to vote
FPL
2004
Springer
16 years 4 hour 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...
181
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
164
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
174
click to vote
JIT
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
165
click to vote
PAKDD
2004
ACM
15 years 12 months ago
2004
ACM
The use of unlabeled data to aid classification is important as labeled data is often available in limited quantity. Instead of utilizing training samples directly into semi-super...