5693 search results - page 1077 / 1139 » Socially relevant computing |
115
click to vote
SPAA
1998
ACM
15 years 5 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
112
click to vote
ER
1998
Springer
15 years 5 months ago
1998
Springer
It is widely acknowledged that information such as web content should be adapted for mobile platforms to account for restrictions in mobile environments. As emerging mobile platfor...
129
click to vote
ECCV
1992
Springer
15 years 5 months ago
1992
Springer
A key problem in model-based object recognition is selection, namely, the problem of determining which regions in the image are likely to come from a single object. In this paper w...
123
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
135
click to vote
EBERNBURG
1990
15 years 5 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...