1711 search results - page 98 / 343 » Completing pseudojump operators |
EUROCAST
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
EUROPAR
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
LOPSTR
2001
Springer
14 years 13 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
SCALESPACE
2001
Springer
14 years 13 days ago
2001
Springer
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
HICSS
2000
IEEE
14 years 12 days ago
2000
IEEE
Recent improvements in fuel cell technology along with an increasing demand for small generator units have led to renewed interest in dispersed generation units. This work demonst...