3931 search results - page 373 / 787 » Separation logic and abstraction |
182
click to vote
CONCUR
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
186
click to vote
DALT
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
195
click to vote
GCC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
212
click to vote
GFKL
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...
241
click to vote
IDA
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...