4835 search results - page 699 / 967 » Refactoring Functional Programs |
106
click to vote
ICALP
2004
Springer
15 years 6 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 ...
103
Voted
IFIP
2004
Springer
15 years 6 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...
110
Voted
JIT
2004
Springer
15 years 5 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...
95
Voted
PAKDD
2004
ACM
15 years 5 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...
PCM
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new computer-based teleconference system. In order to build the system, we modified VNC(Virtual Network Computing) program and implemented Face mouse system....