12670 search results - page 2463 / 2534 » Requirements Modeling |
109
click to vote
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
145
click to vote
ICPP
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we propose a novel software-only distributed sharedmemory system (SW-DSM), the Affinity Entry Consistency (AEC) protocol. The protocol is based on Entry Consistency ...
142
click to vote
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
130
Voted
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
In this paper we describe a new e cient algorithm for recognizing 3D objects by combining photometric and geometric invariants. Some photometric properties are derived, that are i...
133
Voted
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...