5465 search results - page 400 / 1093 » Assigning Types to Processes |
126
click to vote
DBISP2P
2004
Springer
15 years 10 months ago
2004
Springer
Today, there is an increasing demand to share data with complex data types (e.g., multi-dimensional) over large numbers of data sources. One of the key challenges is sharing these ...
156
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
113
Voted
DAWAK
2000
Springer
15 years 9 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
149
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
127
Voted
INFOCOM
1998
IEEE
15 years 9 months ago
1998
IEEE
We examine the impact of the loss recovery mechanism on the performance of a reliable multicast protocol. Approaches to reliable multicast can be divided into two major classes: s...