891 search results - page 62 / 179 » Full Abstraction for PCF |
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we study the problem of placing limited number of wavelength converting nodes in a multi-fiber network with static traffic demands and propose a tabu sear...
MATA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents framework that can be used for improving working conditions. We have extended intelligent agents technology for the Internet with cell phone technolog...
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
PARA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
WAIM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Ensemble methods can achieve excellent performance relying on member classifiers’ accuracy and diversity. We conduct an empirical study of the relationship of ensemble...