5356 search results - page 866 / 1072 » Adventures in time and space |
176
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
119
click to vote
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
111
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
134
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
132
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...