12697 search results - page 324 / 2540 » Call for Papers |
190
click to vote
IVC
2000
15 years 6 months ago
2000
This paper provides a review on techniques for computing a three-dimensional model of a scene from a single moving camera, with unconstrained motion and unknown parameters. In the...
158
click to vote
JSS
2000
15 years 6 months ago
2000
In the present paper, we study the most frequent data placement schemes, i.e., the organ-pipe and camel arrangements, in a mirrored disk system which supports cylinder replication...
183
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
191
click to vote
INFSOF
1998
15 years 6 months ago
1998
In this paper, we present a locking-based concurrency control scheme for object-oriented databases (OODBs). Our scheme deals with class hierarchy which is an important property in...
172
click to vote
LOGCOM
2002
15 years 6 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...