2373 search results - page 286 / 475 » On the Theory of Structural Subtyping |
205
click to vote
FCS
2006
15 years 8 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
176
click to vote
DMDW
2001
15 years 8 months ago
2001
Research on logical design of OLAP cubes has tended to assume that the rollup hierarchy in a cube dimension takes the form of a balanced tree. However, experience from industry in...
175
click to vote
IMAGING
2004
15 years 8 months ago
2004
Extending differential-based operations to color images is hindered by the multi-channel nature of color images. The derivatives in different channels can point in opposite direct...
136
click to vote
ECIS
2000
15 years 8 months ago
2000
: Economic theory and business strategists have pointed at the phenomenon of positive externalities and the related enabling and constraining aspects of an installed base. For inst...
158
click to vote
FLAIRS
2000
15 years 8 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...