5215 search results - page 707 / 1043 » A model of normative power |
203
click to vote
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
—We use an unconditionally stable numerical scheme to implement a fast version of the geodesic active contour model. The proposed scheme is useful for object segmentation in imag...
174
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
177
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
180
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
230
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...